c wbo 1.4 beta - 20100610 c | Number of variables: 100 | c | Number of clauses: 500 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 500 | c | Number Clauses: 500 | 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 | 500 500 1900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 0 | 500 501 2300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 0 | 500 502 2700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 500 503 3100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 0 | 500 504 3500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 0 | 500 505 3900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 0 | 500 506 4300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 0 | 500 507 4700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 0 | 500 508 5100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 0 | 500 509 5500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 0 | 500 510 5900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 0 | 500 511 6300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 0 | 500 512 6700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 0 | 500 513 7100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 0 | 500 514 7500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 500 515 7900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 500 516 8300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 500 517 8700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 500 518 9100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 500 519 9500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 500 520 9900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 500 521 10300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 500 522 10700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 500 523 11100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 500 524 11500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 500 525 11900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 500 526 12300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 500 527 12700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 500 528 13100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 500 529 13500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 500 530 13900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 500 531 14300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 500 532 14700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 500 533 15100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 500 534 15500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 500 535 15900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 500 536 16300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 500 537 16700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 500 538 17100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 0 | 500 539 17500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 500 540 17900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 0 | 500 541 18300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 0 | 500 542 18700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 0 | 500 543 19100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 0 | 500 544 19500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 0 | 500 545 19900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 0 | 500 546 20300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 0 | 500 547 20700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 0 | 500 548 21100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 1 | 500 549 21500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s c =============================================================================== c | 1 | 500 550 21900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 1 | 500 551 22300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 1 | 500 552 22700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 1 | 500 553 23100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 1 | 500 554 23500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s c =============================================================================== c | 1 | 500 555 23900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 1 | 500 556 24300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s c =============================================================================== c | 1 | 500 557 24700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 1 | 500 558 25100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 1 | 500 559 25500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.124981 s Remaining CPU time: 179.875 s c =============================================================================== c | 1 | 500 560 25900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 1 | 500 561 26300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 1 | 500 562 26700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 1 | 500 563 27100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 1 | 500 564 27500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s c =============================================================================== c | 1 | 500 565 27900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.148977 s Remaining CPU time: 179.851 s c =============================================================================== c | 1 | 500 566 28300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 1 | 500 567 28700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s c =============================================================================== c | 1 | 500 568 29100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 1 | 500 569 29500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s c =============================================================================== c | 1 | 500 570 29900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.169974 s Remaining CPU time: 179.83 s c =============================================================================== c | 1 | 500 571 30300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.174973 s Remaining CPU time: 179.825 s c =============================================================================== c | 1 | 500 572 30700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.179972 s Remaining CPU time: 179.82 s c =============================================================================== c | 1 | 500 573 31100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.183972 s Remaining CPU time: 179.816 s c =============================================================================== c | 1 | 500 574 31500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.187971 s Remaining CPU time: 179.812 s c =============================================================================== c | 1 | 500 575 31900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.19197 s Remaining CPU time: 179.808 s c =============================================================================== c | 1 | 500 576 32300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.19597 s Remaining CPU time: 179.804 s c =============================================================================== c | 1 | 500 577 32700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.200969 s Remaining CPU time: 179.799 s c =============================================================================== c | 1 | 500 578 33100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 1 | 500 579 33500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s c =============================================================================== c | 1 | 500 580 33900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.211967 s Remaining CPU time: 179.788 s c =============================================================================== c | 1 | 500 581 34300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.216967 s Remaining CPU time: 179.783 s c =============================================================================== c | 1 | 500 582 34700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.221966 s Remaining CPU time: 179.778 s c =============================================================================== c | 1 | 500 583 35100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.226965 s Remaining CPU time: 179.773 s c =============================================================================== c | 1 | 500 584 35500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.231964 s Remaining CPU time: 179.768 s c =============================================================================== c | 2 | 500 585 35900 | 5000 2 162 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.236963 s Remaining CPU time: 179.763 s c =============================================================================== c | 2 | 500 586 36300 | 5000 2 162 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.240963 s Remaining CPU time: 179.759 s c =============================================================================== c | 2 | 500 587 36700 | 5000 2 162 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.245962 s Remaining CPU time: 179.754 s c =============================================================================== c | 2 | 500 588 37100 | 5000 2 162 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.251961 s Remaining CPU time: 179.748 s c =============================================================================== c | 2 | 500 589 37500 | 5000 2 162 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.25696 s Remaining CPU time: 179.743 s c =============================================================================== c | 2 | 500 590 37900 | 5000 2 162 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.26296 s Remaining CPU time: 179.737 s c =============================================================================== c | 3 | 500 591 38300 | 5000 3 110 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.268959 s Remaining CPU time: 179.731 s c =============================================================================== c | 3 | 500 592 38700 | 5000 3 110 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 0.273958 s Remaining CPU time: 179.726 s c =============================================================================== c | 3 | 500 593 39100 | 5000 3 110 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 0.279957 s Remaining CPU time: 179.72 s c =============================================================================== c | 3 | 500 594 39500 | 5000 3 110 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 0.285956 s Remaining CPU time: 179.714 s c =============================================================================== c | 3 | 500 595 39900 | 5000 3 110 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 0.291955 s Remaining CPU time: 179.708 s c =============================================================================== c | 3 | 500 596 40300 | 5000 3 110 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 0.298954 s Remaining CPU time: 179.701 s c =============================================================================== c | 3 | 500 597 40700 | 5000 3 110 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 0.304953 s Remaining CPU time: 179.695 s c =============================================================================== c | 3 | 500 598 41100 | 5000 3 110 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 0.311952 s Remaining CPU time: 179.688 s c =============================================================================== c | 3 | 500 599 41500 | 5000 3 110 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 0.317951 s Remaining CPU time: 179.682 s c =============================================================================== c | 3 | 500 600 41900 | 5000 3 110 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.32495 s Remaining CPU time: 179.675 s c =============================================================================== c | 3 | 500 601 42300 | 5000 3 110 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.330949 s Remaining CPU time: 179.669 s c =============================================================================== c | 3 | 500 602 42700 | 5000 3 110 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.336948 s Remaining CPU time: 179.663 s c =============================================================================== c | 3 | 500 603 43100 | 5000 3 110 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.343947 s Remaining CPU time: 179.656 s c =============================================================================== c | 3 | 500 604 43500 | 5000 3 110 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.350946 s Remaining CPU time: 179.649 s c =============================================================================== c | 3 | 500 605 43900 | 5000 3 110 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 0.357945 s Remaining CPU time: 179.642 s c =============================================================================== c | 3 | 500 606 44300 | 5000 3 110 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 0.364944 s Remaining CPU time: 179.635 s c =============================================================================== c | 3 | 500 607 44700 | 5000 3 110 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 0.372943 s Remaining CPU time: 179.627 s c =============================================================================== c | 3 | 500 608 45100 | 5000 3 110 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 0.379942 s Remaining CPU time: 179.62 s c =============================================================================== c | 3 | 500 609 45500 | 5000 3 110 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 0.386941 s Remaining CPU time: 179.613 s c =============================================================================== c | 3 | 500 610 45900 | 5000 3 110 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 0.39394 s Remaining CPU time: 179.606 s c =============================================================================== c | 3 | 500 611 46300 | 5000 3 110 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 0.400939 s Remaining CPU time: 179.599 s c =============================================================================== c | 3 | 500 612 46700 | 5000 3 110 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 0.408937 s Remaining CPU time: 179.591 s c =============================================================================== c | 3 | 500 613 47100 | 5000 3 110 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 0.415936 s Remaining CPU time: 179.584 s c =============================================================================== c | 3 | 500 614 47500 | 5000 3 110 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 0.423935 s Remaining CPU time: 179.576 s c =============================================================================== c | 3 | 500 615 47900 | 5000 3 110 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 0.431934 s Remaining CPU time: 179.568 s c =============================================================================== c | 3 | 500 616 48300 | 5000 3 110 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 0.439933 s Remaining CPU time: 179.56 s c =============================================================================== c | 3 | 500 617 48700 | 5000 3 110 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 0.447931 s Remaining CPU time: 179.552 s c =============================================================================== c | 3 | 500 618 49100 | 5000 3 110 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 0.45593 s Remaining CPU time: 179.544 s c =============================================================================== c | 3 | 500 619 49500 | 5000 3 110 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 0.463929 s Remaining CPU time: 179.536 s c =============================================================================== c | 3 | 500 620 49900 | 5000 3 110 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 0.471928 s Remaining CPU time: 179.528 s c =============================================================================== c | 4 | 500 621 50300 | 5000 4 84 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 0.479927 s Remaining CPU time: 179.52 s c =============================================================================== c | 4 | 500 622 50700 | 5000 4 84 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 0.488925 s Remaining CPU time: 179.511 s c =============================================================================== c | 5 | 500 623 51100 | 5000 5 124 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 0.499924 s Remaining CPU time: 179.5 s c =============================================================================== c | 5 | 500 624 51500 | 5000 5 124 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 0.507922 s Remaining CPU time: 179.492 s c =============================================================================== c | 5 | 500 625 51900 | 5000 5 124 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 0.516921 s Remaining CPU time: 179.483 s c =============================================================================== c | 5 | 500 626 52300 | 5000 5 124 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 0.52492 s Remaining CPU time: 179.475 s c =============================================================================== c | 5 | 500 627 52700 | 5000 5 124 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 0.533918 s Remaining CPU time: 179.466 s c =============================================================================== c | 5 | 500 628 53100 | 5000 5 124 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 0.541917 s Remaining CPU time: 179.458 s c =============================================================================== c | 5 | 500 629 53500 | 5000 5 124 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 0.550916 s Remaining CPU time: 179.449 s c =============================================================================== c | 5 | 500 630 53900 | 5000 5 124 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 0.559914 s Remaining CPU time: 179.44 s c =============================================================================== c | 5 | 500 631 54300 | 5000 5 124 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 0.569913 s Remaining CPU time: 179.43 s c =============================================================================== c | 5 | 500 632 54700 | 5000 5 124 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 0.578911 s Remaining CPU time: 179.421 s c =============================================================================== c | 5 | 500 633 55100 | 5000 5 124 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 0.58791 s Remaining CPU time: 179.412 s c =============================================================================== c | 5 | 500 634 55500 | 5000 5 124 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 0.597909 s Remaining CPU time: 179.402 s c =============================================================================== c | 5 | 500 635 55900 | 5000 5 124 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 0.607907 s Remaining CPU time: 179.392 s c =============================================================================== c | 5 | 500 636 56300 | 5000 5 124 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 0.617906 s Remaining CPU time: 179.382 s c =============================================================================== c | 5 | 500 637 56700 | 5000 5 124 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 0.627904 s Remaining CPU time: 179.372 s c =============================================================================== c | 5 | 500 638 57100 | 5000 5 124 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 0.637903 s Remaining CPU time: 179.362 s c =============================================================================== c | 5 | 500 639 57500 | 5000 5 124 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 0.647901 s Remaining CPU time: 179.352 s c =============================================================================== c | 6 | 500 640 57900 | 5000 6 105 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 0.657899 s Remaining CPU time: 179.342 s c =============================================================================== c | 6 | 500 641 58300 | 5000 6 105 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 0.668898 s Remaining CPU time: 179.331 s c =============================================================================== c | 7 | 500 642 58700 | 5000 7 90 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 0.678896 s Remaining CPU time: 179.321 s c =============================================================================== c | 8 | 500 643 59100 | 5000 8 80 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 0.689895 s Remaining CPU time: 179.31 s c =============================================================================== c | 8 | 500 644 59500 | 5000 8 80 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 0.700893 s Remaining CPU time: 179.299 s c =============================================================================== c | 8 | 500 645 59900 | 5000 8 80 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 0.710891 s Remaining CPU time: 179.289 s c =============================================================================== c | 8 | 500 646 60300 | 5000 8 80 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 0.72189 s Remaining CPU time: 179.278 s c =============================================================================== c | 9 | 500 647 60700 | 5000 9 72 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 0.732888 s Remaining CPU time: 179.267 s c =============================================================================== c | 9 | 500 648 61100 | 5000 9 72 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 0.743886 s Remaining CPU time: 179.256 s c =============================================================================== c | 9 | 500 649 61500 | 5000 9 72 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 0.755885 s Remaining CPU time: 179.244 s c =============================================================================== c | 9 | 500 650 61900 | 5000 9 72 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 0.766883 s Remaining CPU time: 179.233 s c =============================================================================== c | 9 | 500 651 62300 | 5000 9 72 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 0.777881 s Remaining CPU time: 179.222 s c =============================================================================== c | 9 | 500 652 62700 | 5000 9 72 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 0.78888 s Remaining CPU time: 179.211 s c =============================================================================== c | 9 | 500 653 63100 | 5000 9 72 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 0.799878 s Remaining CPU time: 179.2 s c =============================================================================== c | 9 | 500 654 63500 | 5000 9 72 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 0.811876 s Remaining CPU time: 179.188 s c =============================================================================== c | 9 | 500 655 63900 | 5000 9 72 | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 0.822874 s Remaining CPU time: 179.177 s c =============================================================================== c | 9 | 500 656 64300 | 5000 9 72 | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 0.833873 s Remaining CPU time: 179.166 s c =============================================================================== c | 9 | 500 657 64700 | 5000 9 72 | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 0.843871 s Remaining CPU time: 179.156 s c =============================================================================== c | 9 | 500 658 65100 | 5000 9 72 | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 0.855869 s Remaining CPU time: 179.144 s c =============================================================================== c | 9 | 500 659 65500 | 5000 9 72 | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 0.867868 s Remaining CPU time: 179.132 s c =============================================================================== c | 9 | 500 660 65900 | 5000 9 72 | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 0.879866 s Remaining CPU time: 179.12 s c =============================================================================== c | 11 | 500 661 66300 | 5000 11 60 | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 0.891864 s Remaining CPU time: 179.108 s c =============================================================================== c | 11 | 500 662 66700 | 5000 11 60 | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 0.903862 s Remaining CPU time: 179.096 s c =============================================================================== c | 11 | 500 663 67100 | 5000 11 60 | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 0.91586 s Remaining CPU time: 179.084 s c =============================================================================== c | 11 | 500 664 67500 | 5000 11 60 | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 0.927858 s Remaining CPU time: 179.072 s c =============================================================================== c | 12 | 500 665 67900 | 5000 12 56 | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 0.939857 s Remaining CPU time: 179.06 s c =============================================================================== c | 13 | 500 666 68300 | 5000 13 52 | 0.000 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 0.951855 s Remaining CPU time: 179.048 s c =============================================================================== c | 14 | 500 667 68700 | 5000 14 49 | 0.000 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 0.964853 s Remaining CPU time: 179.035 s c =============================================================================== c | 14 | 500 668 69100 | 5000 14 49 | 0.000 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 0.977851 s Remaining CPU time: 179.022 s c =============================================================================== c | 14 | 500 669 69500 | 5000 14 49 | 0.000 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 0.989849 s Remaining CPU time: 179.01 s c =============================================================================== c | 14 | 500 670 69900 | 5000 14 49 | 0.000 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 1.00185 s Remaining CPU time: 178.998 s c =============================================================================== c | 15 | 500 671 70300 | 5000 15 61 | 0.000 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 1.01484 s Remaining CPU time: 178.985 s c =============================================================================== c | 16 | 500 672 70700 | 5000 16 58 | 0.000 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 1.02584 s Remaining CPU time: 178.974 s c =============================================================================== c | 17 | 500 673 71100 | 5000 17 55 | 0.000 % | c =============================================================================== c New solution: 227 c Elapsed CPU time: 1.03884 s Remaining CPU time: 178.961 s c =============================================================================== c | 18 | 500 674 71500 | 5000 18 52 | 0.000 % | c =============================================================================== c New solution: 226 c Elapsed CPU time: 1.05484 s Remaining CPU time: 178.945 s c =============================================================================== c | 40 | 500 675 71900 | 5000 40 146 | 0.000 % | c =============================================================================== c New solution: 225 c Elapsed CPU time: 1.06784 s Remaining CPU time: 178.932 s c =============================================================================== c | 40 | 500 676 72300 | 5000 40 146 | 0.000 % | c =============================================================================== c New solution: 224 c Elapsed CPU time: 1.08083 s Remaining CPU time: 178.919 s c =============================================================================== c | 40 | 500 677 72700 | 5000 40 146 | 0.000 % | c =============================================================================== c New solution: 223 c Elapsed CPU time: 1.09283 s Remaining CPU time: 178.907 s c =============================================================================== c | 40 | 500 678 73100 | 5000 40 146 | 0.000 % | c =============================================================================== c New solution: 222 c Elapsed CPU time: 1.10683 s Remaining CPU time: 178.893 s c =============================================================================== c | 41 | 500 679 73500 | 5000 41 142 | 0.000 % | c =============================================================================== c New solution: 221 c Elapsed CPU time: 1.11983 s Remaining CPU time: 178.88 s c =============================================================================== c | 42 | 500 680 73900 | 5000 42 139 | 0.000 % | c =============================================================================== c New solution: 220 c Elapsed CPU time: 1.13283 s Remaining CPU time: 178.867 s c =============================================================================== c | 42 | 500 681 74300 | 5000 42 139 | 0.000 % | c =============================================================================== c New solution: 219 c Elapsed CPU time: 1.14682 s Remaining CPU time: 178.853 s c =============================================================================== c | 42 | 500 682 74700 | 5000 42 139 | 0.000 % | c =============================================================================== c New solution: 218 c Elapsed CPU time: 1.15982 s Remaining CPU time: 178.84 s c =============================================================================== c | 46 | 500 683 75100 | 5000 46 128 | 0.000 % | c =============================================================================== c New solution: 217 c Elapsed CPU time: 1.17282 s Remaining CPU time: 178.827 s c =============================================================================== c | 47 | 500 684 75500 | 5000 47 126 | 0.000 % | c =============================================================================== c New solution: 216 c Elapsed CPU time: 1.18682 s Remaining CPU time: 178.813 s c =============================================================================== c | 47 | 500 685 75900 | 5000 47 126 | 0.000 % | c =============================================================================== c New solution: 215 c Elapsed CPU time: 1.20082 s Remaining CPU time: 178.799 s c =============================================================================== c | 49 | 500 686 76300 | 5000 49 121 | 0.000 % | c =============================================================================== c New solution: 214 c Elapsed CPU time: 1.21382 s Remaining CPU time: 178.786 s c =============================================================================== c | 51 | 500 687 76700 | 5000 51 117 | 0.000 % | c =============================================================================== c New solution: 213 c Elapsed CPU time: 1.22781 s Remaining CPU time: 178.772 s c =============================================================================== c | 51 | 500 688 77100 | 5000 51 117 | 0.000 % | c =============================================================================== c New solution: 212 c Elapsed CPU time: 1.24181 s Remaining CPU time: 178.758 s c =============================================================================== c | 51 | 500 689 77500 | 5000 51 117 | 0.000 % | c =============================================================================== c New solution: 211 c Elapsed CPU time: 1.25481 s Remaining CPU time: 178.745 s c =============================================================================== c | 51 | 500 690 77900 | 5000 51 117 | 0.000 % | c =============================================================================== c New solution: 210 c Elapsed CPU time: 1.26881 s Remaining CPU time: 178.731 s c =============================================================================== c | 51 | 500 691 78300 | 5000 51 117 | 0.000 % | c =============================================================================== c New solution: 209 c Elapsed CPU time: 1.2828 s Remaining CPU time: 178.717 s c =============================================================================== c | 53 | 500 692 78700 | 5000 53 113 | 0.000 % | c =============================================================================== c New solution: 208 c Elapsed CPU time: 1.2968 s Remaining CPU time: 178.703 s c =============================================================================== c | 57 | 500 693 79100 | 5000 57 106 | 0.000 % | c =============================================================================== c New solution: 207 c Elapsed CPU time: 1.3108 s Remaining CPU time: 178.689 s c =============================================================================== c | 57 | 500 694 79500 | 5000 57 106 | 0.000 % | c =============================================================================== c New solution: 206 c Elapsed CPU time: 1.3248 s Remaining CPU time: 178.675 s c =============================================================================== c | 57 | 500 695 79900 | 5000 57 106 | 0.000 % | c =============================================================================== c New solution: 205 c Elapsed CPU time: 1.3378 s Remaining CPU time: 178.662 s c =============================================================================== c | 58 | 500 696 80300 | 5000 58 104 | 0.000 % | c =============================================================================== c New solution: 204 c Elapsed CPU time: 1.35179 s Remaining CPU time: 178.648 s c =============================================================================== c | 58 | 500 697 80700 | 5000 58 104 | 0.000 % | c =============================================================================== c New solution: 203 c Elapsed CPU time: 1.36579 s Remaining CPU time: 178.634 s c =============================================================================== c | 58 | 500 698 81100 | 5000 58 104 | 0.000 % | c =============================================================================== c New solution: 202 c Elapsed CPU time: 1.37979 s Remaining CPU time: 178.62 s c =============================================================================== c | 58 | 500 699 81500 | 5000 58 104 | 0.000 % | c =============================================================================== c New solution: 201 c Elapsed CPU time: 1.39479 s Remaining CPU time: 178.605 s c =============================================================================== c | 58 | 500 700 81900 | 5000 58 104 | 0.000 % | c =============================================================================== c New solution: 200 c Elapsed CPU time: 1.40878 s Remaining CPU time: 178.591 s c =============================================================================== c | 58 | 500 701 82300 | 5000 58 104 | 0.000 % | c =============================================================================== c New solution: 199 c Elapsed CPU time: 1.42278 s Remaining CPU time: 178.577 s c =============================================================================== c | 58 | 500 702 82700 | 5000 58 104 | 0.000 % | c =============================================================================== c New solution: 198 c Elapsed CPU time: 1.43678 s Remaining CPU time: 178.563 s c =============================================================================== c | 58 | 500 703 83100 | 5000 58 104 | 0.000 % | c =============================================================================== c New solution: 197 c Elapsed CPU time: 1.45078 s Remaining CPU time: 178.549 s c =============================================================================== c | 60 | 500 704 83500 | 5000 60 104 | 0.000 % | c =============================================================================== c New solution: 196 c Elapsed CPU time: 1.46578 s Remaining CPU time: 178.534 s c =============================================================================== c | 60 | 500 705 83900 | 5000 60 104 | 0.000 % | c =============================================================================== c New solution: 195 c Elapsed CPU time: 1.48177 s Remaining CPU time: 178.518 s c =============================================================================== c | 60 | 500 706 84300 | 5000 60 104 | 0.000 % | c =============================================================================== c New solution: 194 c Elapsed CPU time: 1.49677 s Remaining CPU time: 178.503 s c =============================================================================== c | 60 | 500 707 84700 | 5000 60 104 | 0.000 % | c =============================================================================== c New solution: 193 c Elapsed CPU time: 1.51177 s Remaining CPU time: 178.488 s c =============================================================================== c | 60 | 500 708 85100 | 5000 60 104 | 0.000 % | c =============================================================================== c New solution: 192 c Elapsed CPU time: 1.52877 s Remaining CPU time: 178.471 s c =============================================================================== c | 69 | 500 709 85500 | 5000 69 114 | 0.000 % | c =============================================================================== c New solution: 191 c Elapsed CPU time: 1.54476 s Remaining CPU time: 178.455 s c =============================================================================== c | 76 | 500 710 85900 | 5000 76 119 | 0.000 % | c =============================================================================== c New solution: 190 c Elapsed CPU time: 1.56076 s Remaining CPU time: 178.439 s c =============================================================================== c | 77 | 500 711 86300 | 5000 77 118 | 0.000 % | c =============================================================================== c New solution: 189 c Elapsed CPU time: 1.57576 s Remaining CPU time: 178.424 s c =============================================================================== c | 77 | 500 712 86700 | 5000 77 118 | 0.000 % | c =============================================================================== c New solution: 188 c Elapsed CPU time: 1.59076 s Remaining CPU time: 178.409 s c =============================================================================== c | 78 | 500 713 87100 | 5000 78 117 | 0.000 % | c =============================================================================== c New solution: 187 c Elapsed CPU time: 1.60676 s Remaining CPU time: 178.393 s c =============================================================================== c | 82 | 500 714 87500 | 5000 82 118 | 0.000 % | c =============================================================================== c New solution: 186 c Elapsed CPU time: 1.62275 s Remaining CPU time: 178.377 s c =============================================================================== c | 85 | 500 715 87900 | 5000 85 114 | 0.000 % | c =============================================================================== c New solution: 185 c Elapsed CPU time: 1.63675 s Remaining CPU time: 178.363 s c =============================================================================== c | 85 | 500 716 88300 | 5000 85 114 | 0.000 % | c =============================================================================== c New solution: 184 c Elapsed CPU time: 1.65275 s Remaining CPU time: 178.347 s c =============================================================================== c | 88 | 500 717 88700 | 5000 88 113 | 0.000 % | c =============================================================================== c New solution: 183 c Elapsed CPU time: 1.66775 s Remaining CPU time: 178.332 s c =============================================================================== c | 89 | 500 718 89100 | 5000 89 112 | 0.000 % | c =============================================================================== c New solution: 182 c Elapsed CPU time: 1.68274 s Remaining CPU time: 178.317 s c =============================================================================== c | 90 | 500 719 89500 | 5000 90 111 | 0.000 % | c =============================================================================== c New solution: 181 c Elapsed CPU time: 1.69874 s Remaining CPU time: 178.301 s c =============================================================================== c | 90 | 500 720 89900 | 5000 90 111 | 0.000 % | c =============================================================================== c New solution: 180 c Elapsed CPU time: 1.71474 s Remaining CPU time: 178.285 s c =============================================================================== c | 90 | 500 721 90300 | 5000 90 111 | 0.000 % | c =============================================================================== c New solution: 179 c Elapsed CPU time: 1.72974 s Remaining CPU time: 178.27 s c =============================================================================== c | 90 | 500 722 90700 | 5000 90 111 | 0.000 % | c =============================================================================== c New solution: 178 c Elapsed CPU time: 1.74573 s Remaining CPU time: 178.254 s c =============================================================================== c | 90 | 500 723 91100 | 5000 90 111 | 0.000 % | c =============================================================================== c New solution: 177 c Elapsed CPU time: 1.76173 s Remaining CPU time: 178.238 s c =============================================================================== c | 90 | 500 724 91500 | 5000 90 111 | 0.000 % | c =============================================================================== c New solution: 176 c Elapsed CPU time: 1.77673 s Remaining CPU time: 178.223 s c =============================================================================== c | 90 | 500 725 91900 | 5000 90 111 | 0.000 % | c =============================================================================== c New solution: 175 c Elapsed CPU time: 1.79273 s Remaining CPU time: 178.207 s c =============================================================================== c | 90 | 500 726 92300 | 5000 90 111 | 0.000 % | c =============================================================================== c New solution: 174 c Elapsed CPU time: 1.80872 s Remaining CPU time: 178.191 s c =============================================================================== c | 90 | 500 727 92700 | 5000 90 111 | 0.000 % | c =============================================================================== c New solution: 173 c Elapsed CPU time: 1.82272 s Remaining CPU time: 178.177 s c =============================================================================== c | 90 | 500 728 93100 | 5000 90 111 | 0.000 % | c =============================================================================== c New solution: 172 c Elapsed CPU time: 1.83772 s Remaining CPU time: 178.162 s c =============================================================================== c | 90 | 500 729 93500 | 5000 90 111 | 0.000 % | c =============================================================================== c New solution: 171 c Elapsed CPU time: 1.85372 s Remaining CPU time: 178.146 s c =============================================================================== c | 90 | 500 730 93900 | 5000 90 111 | 0.000 % | c =============================================================================== c New solution: 170 c Elapsed CPU time: 1.87072 s Remaining CPU time: 178.129 s c =============================================================================== c | 90 | 500 731 94300 | 5000 90 111 | 0.000 % | c =============================================================================== c New solution: 169 c Elapsed CPU time: 1.88671 s Remaining CPU time: 178.113 s c =============================================================================== c | 90 | 500 732 94700 | 5000 90 111 | 0.000 % | c =============================================================================== c New solution: 168 c Elapsed CPU time: 1.90271 s Remaining CPU time: 178.097 s c =============================================================================== c | 90 | 500 733 95100 | 5000 90 111 | 0.000 % | c =============================================================================== c New solution: 167 c Elapsed CPU time: 1.91871 s Remaining CPU time: 178.081 s c =============================================================================== c | 90 | 500 734 95500 | 5000 90 111 | 0.000 % | c =============================================================================== c New solution: 166 c Elapsed CPU time: 1.93371 s Remaining CPU time: 178.066 s c =============================================================================== c | 90 | 500 735 95900 | 5000 90 111 | 0.000 % | c =============================================================================== c New solution: 165 c Elapsed CPU time: 1.9497 s Remaining CPU time: 178.05 s c =============================================================================== c | 90 | 500 736 96300 | 5000 90 111 | 0.000 % | c =============================================================================== c New solution: 164 c Elapsed CPU time: 1.9647 s Remaining CPU time: 178.035 s c =============================================================================== c | 90 | 500 737 96700 | 5000 90 111 | 0.000 % | c =============================================================================== c New solution: 163 c Elapsed CPU time: 1.9797 s Remaining CPU time: 178.02 s c =============================================================================== c | 90 | 500 738 97100 | 5000 90 111 | 0.000 % | c =============================================================================== c New solution: 162 c Elapsed CPU time: 1.9947 s Remaining CPU time: 178.005 s c =============================================================================== c | 90 | 500 739 97500 | 5000 90 111 | 0.000 % | c =============================================================================== c New solution: 161 c Elapsed CPU time: 2.00969 s Remaining CPU time: 177.99 s c =============================================================================== c | 90 | 500 740 97900 | 5000 90 111 | 0.000 % | c =============================================================================== c New solution: 160 c Elapsed CPU time: 2.02569 s Remaining CPU time: 177.974 s c =============================================================================== c | 91 | 500 741 98300 | 5000 91 109 | 0.000 % | c =============================================================================== c New solution: 159 c Elapsed CPU time: 2.04169 s Remaining CPU time: 177.958 s c =============================================================================== c | 93 | 500 742 98700 | 5000 93 107 | 0.000 % | c =============================================================================== c New solution: 158 c Elapsed CPU time: 2.05869 s Remaining CPU time: 177.941 s c =============================================================================== c | 96 | 500 743 99100 | 5000 96 106 | 0.000 % | c =============================================================================== c New solution: 157 c Elapsed CPU time: 2.07468 s Remaining CPU time: 177.925 s c =============================================================================== c | 99 | 500 744 99500 | 5000 99 103 | 0.000 % | c =============================================================================== c New solution: 156 c Elapsed CPU time: 2.09068 s Remaining CPU time: 177.909 s c =============================================================================== c | 99 | 500 745 99900 | 5000 99 103 | 0.000 % | c =============================================================================== c New solution: 155 c Elapsed CPU time: 2.10668 s Remaining CPU time: 177.893 s c =============================================================================== c | 99 | 500 746 100300 | 5000 99 103 | 0.000 % | c =============================================================================== c New solution: 154 c Elapsed CPU time: 2.12268 s Remaining CPU time: 177.877 s c =============================================================================== c | 99 | 500 747 100700 | 5000 99 103 | 0.000 % | c =============================================================================== c New solution: 153 c Elapsed CPU time: 2.13867 s Remaining CPU time: 177.861 s c =============================================================================== c | 99 | 500 748 101100 | 5000 99 103 | 0.000 % | c =============================================================================== c New solution: 152 c Elapsed CPU time: 2.15567 s Remaining CPU time: 177.844 s c =============================================================================== c | 99 | 500 749 101500 | 5000 99 103 | 0.000 % | c =============================================================================== c New solution: 151 c Elapsed CPU time: 2.17167 s Remaining CPU time: 177.828 s c =============================================================================== c | 99 | 500 750 101900 | 5000 99 103 | 0.000 % | c =============================================================================== c New solution: 150 c Elapsed CPU time: 2.18867 s Remaining CPU time: 177.811 s c =============================================================================== c | 99 | 500 751 102300 | 5000 99 103 | 0.000 % | c =============================================================================== c New solution: 149 c Elapsed CPU time: 2.20466 s Remaining CPU time: 177.795 s c =============================================================================== c | 101 | 500 752 102700 | 5000 101 102 | 0.000 % | c =============================================================================== c New solution: 148 c Elapsed CPU time: 2.22066 s Remaining CPU time: 177.779 s c =============================================================================== c | 101 | 500 753 103100 | 5000 101 102 | 0.000 % | c =============================================================================== c New solution: 147 c Elapsed CPU time: 2.23666 s Remaining CPU time: 177.763 s c =============================================================================== c | 101 | 500 754 103500 | 5000 101 102 | 0.000 % | c =============================================================================== c New solution: 146 c Elapsed CPU time: 2.25266 s Remaining CPU time: 177.747 s c =============================================================================== c | 101 | 500 755 103900 | 5000 101 102 | 0.000 % | c =============================================================================== c New solution: 145 c Elapsed CPU time: 2.26965 s Remaining CPU time: 177.73 s c =============================================================================== c | 112 | 500 756 104300 | 5000 112 97 | 0.000 % | c =============================================================================== c New solution: 144 c Elapsed CPU time: 2.28865 s Remaining CPU time: 177.711 s c =============================================================================== c | 119 | 500 757 104700 | 5000 119 97 | 0.000 % | c =============================================================================== c New solution: 143 c Elapsed CPU time: 2.30565 s Remaining CPU time: 177.694 s c =============================================================================== c | 119 | 500 758 105100 | 5000 119 97 | 0.000 % | c =============================================================================== c New solution: 142 c Elapsed CPU time: 2.32265 s Remaining CPU time: 177.677 s c =============================================================================== c | 123 | 500 759 105500 | 5000 123 97 | 0.000 % | c =============================================================================== c New solution: 141 c Elapsed CPU time: 2.33964 s Remaining CPU time: 177.66 s c =============================================================================== c | 124 | 500 760 105900 | 5000 124 97 | 0.000 % | c =============================================================================== c New solution: 140 c Elapsed CPU time: 2.35964 s Remaining CPU time: 177.64 s c =============================================================================== c | 143 | 500 761 106300 | 5000 143 103 | 0.000 % | c =============================================================================== c New solution: 139 c Elapsed CPU time: 2.37664 s Remaining CPU time: 177.623 s c =============================================================================== c | 143 | 500 762 106700 | 5000 143 103 | 0.000 % | c =============================================================================== c New solution: 138 c Elapsed CPU time: 2.39364 s Remaining CPU time: 177.606 s c =============================================================================== c | 143 | 500 763 107100 | 5000 143 103 | 0.000 % | c =============================================================================== c New solution: 137 c Elapsed CPU time: 2.40963 s Remaining CPU time: 177.59 s c =============================================================================== c | 143 | 500 764 107500 | 5000 143 103 | 0.000 % | c =============================================================================== c New solution: 136 c Elapsed CPU time: 2.42663 s Remaining CPU time: 177.573 s c =============================================================================== c | 143 | 500 765 107900 | 5000 143 103 | 0.000 % | c =============================================================================== c New solution: 135 c Elapsed CPU time: 2.44363 s Remaining CPU time: 177.556 s c =============================================================================== c | 146 | 500 766 108300 | 5000 146 102 | 0.000 % | c =============================================================================== c New solution: 134 c Elapsed CPU time: 2.45963 s Remaining CPU time: 177.54 s c =============================================================================== c | 146 | 500 767 108700 | 5000 146 102 | 0.000 % | c =============================================================================== c New solution: 133 c Elapsed CPU time: 2.47862 s Remaining CPU time: 177.521 s c =============================================================================== c | 146 | 500 768 109100 | 5000 146 102 | 0.000 % | c =============================================================================== c New solution: 132 c Elapsed CPU time: 2.49362 s Remaining CPU time: 177.506 s c =============================================================================== c | 146 | 500 769 109500 | 5000 146 102 | 0.000 % | c =============================================================================== c New solution: 131 c Elapsed CPU time: 2.51062 s Remaining CPU time: 177.489 s c =============================================================================== c | 146 | 500 770 109900 | 5000 146 102 | 0.000 % | c =============================================================================== c New solution: 130 c Elapsed CPU time: 2.52761 s Remaining CPU time: 177.472 s c =============================================================================== c | 146 | 500 771 110300 | 5000 146 102 | 0.000 % | c =============================================================================== c New solution: 129 c Elapsed CPU time: 2.54461 s Remaining CPU time: 177.455 s c =============================================================================== c | 146 | 500 772 110700 | 5000 146 102 | 0.000 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 2.55961 s Remaining CPU time: 177.44 s c =============================================================================== c | 146 | 500 773 111100 | 5000 146 102 | 0.000 % | c =============================================================================== c New solution: 127 c Elapsed CPU time: 2.57661 s Remaining CPU time: 177.423 s c =============================================================================== c | 146 | 500 774 111500 | 5000 146 102 | 0.000 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 2.59361 s Remaining CPU time: 177.406 s c =============================================================================== c | 155 | 500 775 111900 | 5000 155 97 | 0.000 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 2.6116 s Remaining CPU time: 177.388 s c =============================================================================== c | 161 | 500 776 112300 | 5000 161 97 | 0.000 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 2.6286 s Remaining CPU time: 177.371 s c =============================================================================== c | 164 | 500 777 112700 | 5000 164 96 | 0.000 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 2.6466 s Remaining CPU time: 177.353 s c =============================================================================== c | 169 | 500 778 113100 | 5000 169 95 | 0.000 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 2.6626 s Remaining CPU time: 177.337 s c =============================================================================== c | 170 | 500 779 113500 | 5000 170 95 | 0.000 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 2.67959 s Remaining CPU time: 177.32 s c =============================================================================== c | 172 | 500 780 113900 | 5000 172 96 | 0.000 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 2.69659 s Remaining CPU time: 177.303 s c =============================================================================== c | 173 | 500 781 114300 | 5000 173 96 | 0.000 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 2.71359 s Remaining CPU time: 177.286 s c =============================================================================== c | 174 | 500 782 114700 | 5000 174 96 | 0.000 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 2.73058 s Remaining CPU time: 177.269 s c =============================================================================== c | 175 | 500 783 115100 | 5000 175 96 | 0.000 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 2.74758 s Remaining CPU time: 177.252 s c =============================================================================== c | 177 | 500 784 115500 | 5000 177 97 | 0.000 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 2.76358 s Remaining CPU time: 177.236 s c =============================================================================== c | 179 | 500 785 115900 | 5000 179 97 | 0.000 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 2.78058 s Remaining CPU time: 177.219 s c =============================================================================== c | 180 | 500 786 116300 | 5000 180 97 | 0.000 % | c =============================================================================== c New solution: 114 c Elapsed CPU time: 2.79657 s Remaining CPU time: 177.203 s c =============================================================================== c | 182 | 500 787 116700 | 5000 182 97 | 0.000 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 2.81257 s Remaining CPU time: 177.187 s c =============================================================================== c | 183 | 500 788 117100 | 5000 183 97 | 0.000 % | c =============================================================================== c New solution: 112 c Elapsed CPU time: 2.82957 s Remaining CPU time: 177.17 s c =============================================================================== c | 184 | 500 789 117500 | 5000 184 97 | 0.000 % | c =============================================================================== c New solution: 111 c Elapsed CPU time: 2.84557 s Remaining CPU time: 177.154 s c =============================================================================== c | 185 | 500 790 117900 | 5000 185 96 | 0.000 % | c =============================================================================== c New solution: 110 c Elapsed CPU time: 2.86256 s Remaining CPU time: 177.137 s c =============================================================================== c | 189 | 500 791 118300 | 5000 189 95 | 0.000 % | c =============================================================================== c New solution: 109 c Elapsed CPU time: 2.87856 s Remaining CPU time: 177.121 s c =============================================================================== c | 192 | 500 792 118700 | 5000 192 94 | 0.000 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 2.89456 s Remaining CPU time: 177.105 s c =============================================================================== c | 195 | 500 793 119100 | 5000 195 94 | 0.000 % | c =============================================================================== c New solution: 107 c Elapsed CPU time: 2.91156 s Remaining CPU time: 177.088 s c =============================================================================== c | 197 | 500 794 119500 | 5000 197 93 | 0.000 % | c =============================================================================== c New solution: 106 c Elapsed CPU time: 2.92755 s Remaining CPU time: 177.072 s c =============================================================================== c | 217 | 500 795 119900 | 5000 217 88 | 0.000 % | c | 317 | 500 795 119900 | 5500 317 95 | 0.000 % | c =============================================================================== c New solution: 105 c Elapsed CPU time: 2.99654 s Remaining CPU time: 177.003 s c =============================================================================== c | 322 | 500 796 120300 | 5000 322 94 | 0.000 % | c =============================================================================== c New solution: 104 c Elapsed CPU time: 3.01254 s Remaining CPU time: 176.987 s c =============================================================================== c | 326 | 500 797 120700 | 5000 326 94 | 0.000 % | c =============================================================================== c New solution: 103 c Elapsed CPU time: 3.02854 s Remaining CPU time: 176.971 s c =============================================================================== c | 326 | 500 798 121100 | 5000 326 94 | 0.000 % | c =============================================================================== c New solution: 102 c Elapsed CPU time: 3.04454 s Remaining CPU time: 176.955 s c =============================================================================== c | 330 | 500 799 121500 | 5000 330 93 | 0.000 % | c =============================================================================== c New solution: 101 c Elapsed CPU time: 3.06053 s Remaining CPU time: 176.939 s c =============================================================================== c | 331 | 500 800 121900 | 5000 331 92 | 0.000 % | c =============================================================================== c New solution: 100 c Elapsed CPU time: 3.07553 s Remaining CPU time: 176.924 s c =============================================================================== c | 333 | 500 801 122300 | 5000 333 92 | 0.000 % | c =============================================================================== c New solution: 99 c Elapsed CPU time: 3.09253 s Remaining CPU time: 176.907 s c =============================================================================== c | 341 | 500 802 122700 | 5000 341 91 | 0.000 % | c =============================================================================== c New solution: 98 c Elapsed CPU time: 3.10853 s Remaining CPU time: 176.891 s c =============================================================================== c | 344 | 500 803 123100 | 5000 344 91 | 0.000 % | c =============================================================================== c New solution: 97 c Elapsed CPU time: 3.12453 s Remaining CPU time: 176.875 s c =============================================================================== c | 345 | 500 804 123500 | 5000 345 91 | 0.000 % | c =============================================================================== c New solution: 96 c Elapsed CPU time: 3.14052 s Remaining CPU time: 176.859 s c =============================================================================== c | 351 | 500 805 123900 | 5000 351 90 | 0.000 % | c =============================================================================== c New solution: 95 c Elapsed CPU time: 3.15552 s Remaining CPU time: 176.844 s c =============================================================================== c | 353 | 500 806 124300 | 5000 353 89 | 0.000 % | c =============================================================================== c New solution: 94 c Elapsed CPU time: 3.17052 s Remaining CPU time: 176.829 s c =============================================================================== c | 355 | 500 807 124700 | 5000 355 89 | 0.000 % | c =============================================================================== c New solution: 93 c Elapsed CPU time: 3.18651 s Remaining CPU time: 176.813 s c =============================================================================== c | 356 | 500 808 125100 | 5000 356 89 | 0.000 % | c =============================================================================== c New solution: 92 c Elapsed CPU time: 3.20051 s Remaining CPU time: 176.799 s c =============================================================================== c | 357 | 500 809 125500 | 5000 357 89 | 0.000 % | c =============================================================================== c New solution: 91 c Elapsed CPU time: 3.21551 s Remaining CPU time: 176.784 s c =============================================================================== c | 365 | 500 810 125900 | 5000 365 88 | 0.000 % | c =============================================================================== c New solution: 90 c Elapsed CPU time: 3.23051 s Remaining CPU time: 176.769 s c =============================================================================== c | 367 | 500 811 126300 | 5000 367 88 | 0.000 % | c =============================================================================== c New solution: 89 c Elapsed CPU time: 3.24551 s Remaining CPU time: 176.754 s c =============================================================================== c | 376 | 500 812 126700 | 5000 376 87 | 0.000 % | c =============================================================================== c New solution: 88 c Elapsed CPU time: 3.2615 s Remaining CPU time: 176.738 s c =============================================================================== c | 378 | 500 813 127100 | 5000 378 86 | 0.000 % | c =============================================================================== c New solution: 87 c Elapsed CPU time: 3.2775 s Remaining CPU time: 176.722 s c =============================================================================== c | 382 | 500 814 127500 | 5000 382 86 | 0.000 % | c =============================================================================== c New solution: 86 c Elapsed CPU time: 3.2985 s Remaining CPU time: 176.702 s c =============================================================================== c | 402 | 500 815 127900 | 5000 402 85 | 0.000 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 3.3145 s Remaining CPU time: 176.686 s c =============================================================================== c | 421 | 500 816 128300 | 5000 421 83 | 0.000 % | c | 523 | 500 816 128300 | 5500 523 85 | 0.000 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 3.38648 s Remaining CPU time: 176.614 s c =============================================================================== c | 550 | 500 817 128700 | 5000 550 82 | 0.000 % | c | 650 | 500 817 128700 | 5500 650 83 | 0.000 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 3.43648 s Remaining CPU time: 176.564 s c =============================================================================== c | 661 | 500 818 129100 | 5000 661 82 | 0.000 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 3.45047 s Remaining CPU time: 176.55 s c =============================================================================== c | 664 | 500 819 129500 | 5000 664 82 | 0.000 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 3.46647 s Remaining CPU time: 176.534 s c =============================================================================== c | 667 | 500 820 129900 | 5000 667 82 | 0.000 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 3.48347 s Remaining CPU time: 176.517 s c =============================================================================== c | 674 | 500 821 130300 | 5000 674 82 | 0.000 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 3.50947 s Remaining CPU time: 176.491 s c =============================================================================== c | 699 | 500 822 130700 | 5000 699 82 | 0.000 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 3.52446 s Remaining CPU time: 176.476 s c =============================================================================== c | 721 | 500 823 131100 | 5000 721 81 | 0.000 % | c | 822 | 500 823 131100 | 5500 822 81 | 0.000 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 3.63245 s Remaining CPU time: 176.368 s c =============================================================================== c | 858 | 500 824 131500 | 5000 858 79 | 0.000 % | c | 958 | 500 824 131500 | 5500 958 80 | 0.000 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 3.77842 s Remaining CPU time: 176.222 s c =============================================================================== c | 1007 | 500 825 131900 | 5000 1007 77 | 0.000 % | c | 1108 | 500 825 131900 | 5500 1108 78 | 0.000 % | c | 1258 | 500 825 131900 | 6050 1258 73 | 0.000 % | c | 1483 | 500 825 131900 | 6655 1483 74 | 0.000 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 4.00939 s Remaining CPU time: 175.991 s c =============================================================================== c | 1525 | 500 826 132300 | 5000 1525 73 | 0.000 % | c | 1627 | 500 826 132300 | 5500 1627 74 | 0.000 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 4.13537 s Remaining CPU time: 175.865 s c =============================================================================== c | 1629 | 500 827 132700 | 5000 1629 74 | 0.000 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 4.14937 s Remaining CPU time: 175.851 s c =============================================================================== c | 1631 | 500 828 133100 | 5000 1631 74 | 0.000 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 4.16337 s Remaining CPU time: 175.837 s c =============================================================================== c | 1631 | 500 829 133500 | 5000 1631 74 | 0.000 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 4.17836 s Remaining CPU time: 175.822 s c =============================================================================== c | 1637 | 500 830 133900 | 5000 1637 73 | 0.000 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 4.19336 s Remaining CPU time: 175.807 s c =============================================================================== c | 1649 | 500 831 134300 | 5000 1649 73 | 0.000 % | c | 1749 | 500 831 134300 | 5500 1749 73 | 0.000 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 4.27435 s Remaining CPU time: 175.726 s c =============================================================================== c | 1761 | 500 832 134700 | 5000 1761 73 | 0.000 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 4.31134 s Remaining CPU time: 175.689 s c =============================================================================== c | 1835 | 500 833 135100 | 5000 1835 73 | 0.000 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 4.32534 s Remaining CPU time: 175.675 s c =============================================================================== c | 1868 | 500 834 135500 | 5000 1868 72 | 0.000 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 4.36234 s Remaining CPU time: 175.638 s c =============================================================================== c | 1928 | 500 835 135900 | 5000 1928 72 | 0.000 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 4.37633 s Remaining CPU time: 175.624 s c =============================================================================== c | 1943 | 500 836 136300 | 5000 1943 72 | 0.000 % | c | 2044 | 500 836 136300 | 5500 2044 72 | 0.000 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 4.42533 s Remaining CPU time: 175.575 s c =============================================================================== c | 2056 | 500 837 136700 | 5000 2056 72 | 0.000 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 4.46232 s Remaining CPU time: 175.538 s c =============================================================================== c | 2125 | 500 838 137100 | 5000 2125 71 | 0.000 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 4.47932 s Remaining CPU time: 175.521 s c =============================================================================== c | 2200 | 500 839 137500 | 5000 2200 71 | 0.000 % | c | 2300 | 500 839 137500 | 5500 2300 70 | 0.000 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 4.56031 s Remaining CPU time: 175.44 s c =============================================================================== c | 2335 | 500 840 137900 | 5000 2335 70 | 0.000 % | c | 2435 | 500 840 137900 | 5500 2435 70 | 0.000 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 4.67229 s Remaining CPU time: 175.328 s c =============================================================================== c | 2508 | 500 841 138300 | 5000 2508 69 | 0.000 % | c | 2608 | 500 841 138300 | 5500 2608 69 | 0.000 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 4.76727 s Remaining CPU time: 175.233 s c =============================================================================== c | 2676 | 500 842 138700 | 5000 2676 68 | 0.000 % | c | 2776 | 500 842 138700 | 5500 2776 68 | 0.000 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 4.89126 s Remaining CPU time: 175.109 s c =============================================================================== c | 2779 | 500 843 139100 | 5000 2779 68 | 0.000 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 4.90325 s Remaining CPU time: 175.097 s c =============================================================================== c | 2780 | 500 844 139500 | 5000 2780 68 | 0.000 % | c | 2880 | 500 844 139500 | 5500 2880 67 | 0.000 % | c | 3030 | 500 844 139500 | 6050 3030 67 | 0.000 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 5.01624 s Remaining CPU time: 174.984 s c =============================================================================== c | 3032 | 500 845 139900 | 5000 3032 67 | 0.000 % | c =============================================================================== c New solution: 55 c Elapsed CPU time: 5.02923 s Remaining CPU time: 174.971 s c =============================================================================== c | 3040 | 500 846 140300 | 5000 3040 67 | 0.000 % | c =============================================================================== c New solution: 54 c Elapsed CPU time: 5.04123 s Remaining CPU time: 174.959 s c =============================================================================== c | 3041 | 500 847 140700 | 5000 3041 67 | 0.000 % | c =============================================================================== c New solution: 53 c Elapsed CPU time: 5.05623 s Remaining CPU time: 174.944 s c =============================================================================== c | 3049 | 500 848 141100 | 5000 3049 67 | 0.000 % | c =============================================================================== c New solution: 52 c Elapsed CPU time: 5.07323 s Remaining CPU time: 174.927 s c =============================================================================== c | 3067 | 500 849 141500 | 5000 3067 67 | 0.000 % | c | 3169 | 500 849 141500 | 5500 3169 66 | 0.000 % | c =============================================================================== c New solution: 51 c Elapsed CPU time: 5.16122 s Remaining CPU time: 174.839 s c =============================================================================== c | 3280 | 500 850 141900 | 5000 3280 66 | 0.000 % | c =============================================================================== c New solution: 50 c Elapsed CPU time: 5.17521 s Remaining CPU time: 174.825 s c =============================================================================== c | 3315 | 500 851 142300 | 5000 3315 66 | 0.000 % | c | 3415 | 500 851 142300 | 5500 3415 65 | 0.000 % | c =============================================================================== c New solution: 49 c Elapsed CPU time: 5.2692 s Remaining CPU time: 174.731 s c =============================================================================== c | 3486 | 500 852 142700 | 5000 3486 65 | 0.000 % | c | 3586 | 500 852 142700 | 5500 3586 65 | 0.000 % | c | 3736 | 500 852 142700 | 6050 3736 64 | 0.000 % | c =============================================================================== c New solution: 48 c Elapsed CPU time: 5.40918 s Remaining CPU time: 174.591 s c =============================================================================== c | 3863 | 500 853 143100 | 5000 3863 64 | 0.000 % | c =============================================================================== c New solution: 47 c Elapsed CPU time: 5.42218 s Remaining CPU time: 174.578 s c =============================================================================== c | 3880 | 500 854 143500 | 5000 3880 64 | 0.000 % | c | 3980 | 500 854 143500 | 5500 3980 63 | 0.000 % | c =============================================================================== c New solution: 46 c Elapsed CPU time: 5.51416 s Remaining CPU time: 174.486 s c =============================================================================== c | 4047 | 500 855 143900 | 5000 4047 63 | 0.000 % | c | 4147 | 500 855 143900 | 5500 4147 63 | 0.000 % | c =============================================================================== c New solution: 45 c Elapsed CPU time: 5.60615 s Remaining CPU time: 174.394 s c =============================================================================== c | 4213 | 500 856 144300 | 5000 4213 62 | 0.000 % | c | 4313 | 500 856 144300 | 5500 4313 62 | 0.000 % | c | 4464 | 500 856 144300 | 6050 4464 62 | 0.000 % | c | 4690 | 500 856 144300 | 6655 4690 61 | 0.000 % | c =============================================================================== c New solution: 44 c Elapsed CPU time: 5.80812 s Remaining CPU time: 174.192 s c =============================================================================== c | 4705 | 500 857 144700 | 5000 4705 61 | 0.000 % | c | 4805 | 500 857 144700 | 5500 4805 61 | 0.000 % | c =============================================================================== c New solution: 43 c Elapsed CPU time: 5.86011 s Remaining CPU time: 174.14 s c =============================================================================== c | 4838 | 500 858 145100 | 5000 4838 61 | 0.000 % | c | 4938 | 500 858 145100 | 5500 4938 60 | 0.000 % | c =============================================================================== c New solution: 42 c Elapsed CPU time: 5.9261 s Remaining CPU time: 174.074 s c =============================================================================== c | 4974 | 500 859 145500 | 5000 4974 60 | 0.000 % | c =============================================================================== c New solution: 41 c Elapsed CPU time: 5.9381 s Remaining CPU time: 174.062 s c =============================================================================== c | 4979 | 500 860 145900 | 5000 4979 60 | 0.000 % | c =============================================================================== c New solution: 40 c Elapsed CPU time: 5.95209 s Remaining CPU time: 174.048 s c =============================================================================== c | 5004 | 500 861 146300 | 5000 5004 60 | 0.000 % | c | 5104 | 500 861 146300 | 5500 2602 48 | 0.000 % | c =============================================================================== c New solution: 39 c Elapsed CPU time: 6.03808 s Remaining CPU time: 173.962 s c =============================================================================== c | 5130 | 500 862 146700 | 5000 2628 48 | 0.000 % | c | 5230 | 500 862 146700 | 5500 2728 48 | 0.000 % | c =============================================================================== c New solution: 38 c Elapsed CPU time: 6.08907 s Remaining CPU time: 173.911 s c =============================================================================== c | 5294 | 500 863 147100 | 5000 2792 48 | 0.000 % | c | 5394 | 500 863 147100 | 5500 2892 48 | 0.000 % | c =============================================================================== c New solution: 37 c Elapsed CPU time: 6.18706 s Remaining CPU time: 173.813 s c =============================================================================== c | 5466 | 500 864 147500 | 5000 2964 47 | 0.000 % | c | 5567 | 500 864 147500 | 5500 3065 47 | 0.000 % | c | 5717 | 500 864 147500 | 6050 3215 47 | 0.000 % | c =============================================================================== c New solution: 36 c Elapsed CPU time: 6.33604 s Remaining CPU time: 173.664 s c =============================================================================== c | 5761 | 500 865 147900 | 5000 3259 47 | 0.000 % | c | 5861 | 500 865 147900 | 5500 3359 47 | 0.000 % | c | 6012 | 500 865 147900 | 6050 3510 47 | 0.000 % | c | 6237 | 500 865 147900 | 6655 3735 46 | 0.000 % | c | 6574 | 500 865 147900 | 7320 4072 46 | 0.000 % | c =============================================================================== c New solution: 35 c Elapsed CPU time: 6.82096 s Remaining CPU time: 173.179 s c =============================================================================== c | 6980 | 500 866 148300 | 5000 4478 46 | 0.000 % | c =============================================================================== c New solution: 34 c Elapsed CPU time: 6.83696 s Remaining CPU time: 173.163 s c =============================================================================== c | 7032 | 500 867 148700 | 5000 4530 46 | 0.000 % | c | 7132 | 500 867 148700 | 5500 4630 46 | 0.000 % | c =============================================================================== c New solution: 33 c Elapsed CPU time: 6.91195 s Remaining CPU time: 173.088 s c =============================================================================== c | 7178 | 500 868 149100 | 5000 4676 45 | 0.000 % | c | 7278 | 500 868 149100 | 5500 4776 45 | 0.000 % | c | 7428 | 500 868 149100 | 6050 4926 45 | 0.000 % | c =============================================================================== c New solution: 32 c Elapsed CPU time: 7.05093 s Remaining CPU time: 172.949 s c =============================================================================== c | 7469 | 500 869 149500 | 5000 4967 45 | 0.000 % | c | 7569 | 500 869 149500 | 5500 5067 45 | 0.000 % | c =============================================================================== c New solution: 31 c Elapsed CPU time: 7.09392 s Remaining CPU time: 172.906 s c =============================================================================== c | 7594 | 500 870 149900 | 5000 5092 45 | 0.000 % | c | 7696 | 500 870 149900 | 5500 2648 39 | 0.000 % | c | 7847 | 500 870 149900 | 6050 2799 39 | 0.000 % | c | 8072 | 500 870 149900 | 6655 3024 39 | 0.000 % | c =============================================================================== c New solution: 30 c Elapsed CPU time: 7.34988 s Remaining CPU time: 172.65 s c =============================================================================== c | 8325 | 500 871 150300 | 5000 3277 40 | 0.000 % | c =============================================================================== c New solution: 29 c Elapsed CPU time: 7.36488 s Remaining CPU time: 172.635 s c =============================================================================== c | 8334 | 500 872 150700 | 5000 3286 40 | 0.000 % | c | 8434 | 500 872 150700 | 5500 3386 40 | 0.000 % | c | 8585 | 500 872 150700 | 6050 3537 40 | 0.000 % | c | 8811 | 500 872 150700 | 6655 3763 40 | 0.000 % | c =============================================================================== c New solution: 28 c Elapsed CPU time: 7.51586 s Remaining CPU time: 172.484 s c =============================================================================== c | 8979 | 500 873 151100 | 5000 3931 40 | 0.000 % | c | 9079 | 500 873 151100 | 5500 4031 40 | 0.000 % | c =============================================================================== c New solution: 27 c Elapsed CPU time: 7.60284 s Remaining CPU time: 172.397 s c =============================================================================== c | 9125 | 500 874 151500 | 5000 4077 40 | 0.000 % | c | 9225 | 500 874 151500 | 5500 4177 40 | 0.000 % | c | 9375 | 500 874 151500 | 6050 4327 40 | 0.000 % | c | 9602 | 500 874 151500 | 6655 4554 39 | 0.000 % | c =============================================================================== c New solution: 26 c Elapsed CPU time: 7.79481 s Remaining CPU time: 172.205 s c =============================================================================== c | 9696 | 500 875 151900 | 5000 4648 39 | 0.000 % | c | 9796 | 500 875 151900 | 5500 4748 39 | 0.000 % | c =============================================================================== c New solution: 25 c Elapsed CPU time: 7.8568 s Remaining CPU time: 172.143 s c =============================================================================== c | 9832 | 500 876 152300 | 5000 4784 39 | 0.000 % | c | 9932 | 500 876 152300 | 5500 4884 39 | 0.000 % | c =============================================================================== c New solution: 24 c Elapsed CPU time: 7.95879 s Remaining CPU time: 172.041 s c =============================================================================== c | 9953 | 500 877 152700 | 5000 4905 39 | 0.000 % | c | 10053 | 500 877 152700 | 5500 5005 39 | 0.000 % | c =============================================================================== c New solution: 23 c Elapsed CPU time: 8.02678 s Remaining CPU time: 171.973 s c =============================================================================== c | 10124 | 500 878 153100 | 5000 5076 39 | 0.000 % | c | 10224 | 500 878 153100 | 5500 2638 36 | 0.000 % | c | 10375 | 500 878 153100 | 6050 2789 36 | 0.000 % | c | 10600 | 500 878 153100 | 6655 3014 35 | 0.000 % | c | 10937 | 500 878 153100 | 7320 3351 35 | 0.000 % | c =============================================================================== c New solution: 22 c Elapsed CPU time: 8.34673 s Remaining CPU time: 171.653 s c =============================================================================== c | 11063 | 500 879 153500 | 5000 3477 35 | 0.000 % | c =============================================================================== c New solution: 21 c Elapsed CPU time: 8.35973 s Remaining CPU time: 171.64 s c =============================================================================== c | 11072 | 500 880 153900 | 5000 3486 35 | 0.000 % | c | 11172 | 500 880 153900 | 5500 3586 35 | 0.000 % | c =============================================================================== c New solution: 20 c Elapsed CPU time: 8.41672 s Remaining CPU time: 171.583 s c =============================================================================== c | 11185 | 500 881 154300 | 5000 3599 35 | 0.000 % | c =============================================================================== c New solution: 19 c Elapsed CPU time: 8.42572 s Remaining CPU time: 171.574 s c =============================================================================== c | 11186 | 500 882 154700 | 5000 3600 35 | 0.000 % | c =============================================================================== c New solution: 18 c Elapsed CPU time: 8.43772 s Remaining CPU time: 171.562 s c =============================================================================== c | 11188 | 500 883 155100 | 5000 3602 35 | 0.000 % | c =============================================================================== c New solution: 17 c Elapsed CPU time: 8.44772 s Remaining CPU time: 171.552 s c =============================================================================== c | 11190 | 500 884 155500 | 5000 3604 35 | 0.000 % | c | 11291 | 500 884 155500 | 5500 3705 35 | 0.000 % | c =============================================================================== c New solution: 16 c Elapsed CPU time: 8.5687 s Remaining CPU time: 171.431 s c =============================================================================== c | 11438 | 500 885 155900 | 5000 3852 35 | 0.000 % | c | 11538 | 500 885 155900 | 5500 3952 35 | 0.000 % | c | 11688 | 500 885 155900 | 6050 4102 34 | 0.000 % | c | 11913 | 500 885 155900 | 6655 4327 34 | 0.000 % | c | 12250 | 500 885 155900 | 7320 4664 34 | 0.000 % | c | 12757 | 500 885 155900 | 8052 5171 33 | 0.000 % | c | 13516 | 500 885 155900 | 8857 5930 32 | 0.000 % | c | 14655 | 500 885 155900 | 9743 7069 32 | 0.000 % | c | 16363 | 500 885 155900 | 10717 8777 31 | 0.000 % | c | 18925 | 500 885 155900 | 11789 5961 28 | 0.000 % | c | 22769 | 500 885 155900 | 12968 9805 27 | 0.000 % | c | 28535 | 500 885 155900 | 14265 9070 29 | 0.000 % | c =============================================================================== c New solution: 15 c Elapsed CPU time: 22.8805 s Remaining CPU time: 157.119 s c =============================================================================== c | 33896 | 500 886 156300 | 5000 7282 29 | 0.000 % | c | 33996 | 500 886 156300 | 5500 3741 31 | 0.000 % | c | 34147 | 500 886 156300 | 6050 3892 30 | 0.000 % | c =============================================================================== c New solution: 14 c Elapsed CPU time: 22.9935 s Remaining CPU time: 157.006 s c =============================================================================== c | 34187 | 500 887 156700 | 5000 3932 30 | 0.000 % | c | 34287 | 500 887 156700 | 5500 4032 30 | 0.000 % | c | 34437 | 500 887 156700 | 6050 4182 30 | 0.000 % | c | 34662 | 500 887 156700 | 6655 4407 31 | 0.000 % | c | 34999 | 500 887 156700 | 7320 4744 31 | 0.000 % | c | 35505 | 500 887 156700 | 8052 5250 31 | 0.000 % | c | 36264 | 500 887 156700 | 8857 6009 29 | 0.000 % | c | 37403 | 500 887 156700 | 9743 7148 30 | 0.000 % | c =============================================================================== c New solution: 13 c Elapsed CPU time: 24.8912 s Remaining CPU time: 155.109 s c =============================================================================== c | 37565 | 500 888 157100 | 5000 7310 30 | 0.000 % | c | 37666 | 500 888 157100 | 5500 3756 30 | 0.000 % | c | 37817 | 500 888 157100 | 6050 3907 29 | 0.000 % | c =============================================================================== c New solution: 12 c Elapsed CPU time: 25.0022 s Remaining CPU time: 154.998 s c =============================================================================== c | 37850 | 500 889 157500 | 5000 3940 29 | 0.000 % | c | 37950 | 500 889 157500 | 5500 4040 29 | 0.000 % | c | 38100 | 500 889 157500 | 6050 4190 29 | 0.000 % | c | 38325 | 500 889 157500 | 6655 4415 29 | 0.000 % | c | 38662 | 500 889 157500 | 7320 4752 28 | 0.000 % | c | 39168 | 500 889 157500 | 8052 5258 28 | 0.000 % | c | 39927 | 500 889 157500 | 8857 6017 27 | 0.000 % | c | 41066 | 500 889 157500 | 9743 7156 26 | 0.000 % | c | 42774 | 500 889 157500 | 10717 8864 26 | 0.000 % | c | 45336 | 500 889 157500 | 11789 6043 23 | 0.000 % | c | 49181 | 500 889 157500 | 12968 9888 23 | 0.000 % | c =============================================================================== c New solution: 11 c Elapsed CPU time: 34.4838 s Remaining CPU time: 145.516 s c =============================================================================== c | 53900 | 500 890 157900 | 5000 8101 21 | 0.000 % | c | 54000 | 500 890 157900 | 5500 4151 20 | 0.000 % | c | 54150 | 500 890 157900 | 6050 4301 20 | 0.000 % | c | 54375 | 500 890 157900 | 6655 4526 20 | 0.000 % | c | 54712 | 500 890 157900 | 7320 4863 20 | 0.000 % | c | 55218 | 500 890 157900 | 8052 5369 20 | 0.000 % | c | 55977 | 500 890 157900 | 8857 6128 20 | 0.000 % | c | 57116 | 500 890 157900 | 9743 7267 20 | 0.000 % | c | 58824 | 500 890 157900 | 10717 8975 20 | 0.000 % | c | 61386 | 500 890 157900 | 11789 6162 20 | 0.000 % | c | 65230 | 500 890 157900 | 12968 10006 20 | 0.000 % | c =============================================================================== c New solution: 10 c Elapsed CPU time: 41.9676 s Remaining CPU time: 138.032 s c =============================================================================== c | 67791 | 500 891 158300 | 5000 12567 20 | 0.000 % | c | 67892 | 500 891 158300 | 5500 3243 19 | 0.000 % | c | 68043 | 500 891 158300 | 6050 3394 19 | 0.000 % | c | 68268 | 500 891 158300 | 6655 3619 19 | 0.000 % | c | 68607 | 500 891 158300 | 7320 3958 19 | 0.000 % | c | 69113 | 500 891 158300 | 8052 4464 20 | 0.000 % | c | 69872 | 500 891 158300 | 8857 5223 20 | 0.000 % | c | 71011 | 500 891 158300 | 9743 6362 22 | 0.000 % | c | 72720 | 500 891 158300 | 10717 8071 22 | 0.000 % | c | 75282 | 500 891 158300 | 11789 10633 22 | 0.000 % | c | 79126 | 500 891 158300 | 12968 8551 22 | 0.000 % | c | 84892 | 500 891 158300 | 14265 7824 21 | 0.000 % | c =============================================================================== c New solution: 9 c Elapsed CPU time: 55.7575 s Remaining CPU time: 124.242 s c =============================================================================== c | 91616 | 500 892 158700 | 5000 7395 18 | 0.000 % | c | 91716 | 500 892 158700 | 5500 3798 19 | 0.000 % | c | 91866 | 500 892 158700 | 6050 3948 19 | 0.000 % | c | 92091 | 500 892 158700 | 6655 4173 19 | 0.000 % | c | 92428 | 500 892 158700 | 7320 4510 20 | 0.000 % | c | 92936 | 500 892 158700 | 8052 5018 20 | 0.000 % | c | 93695 | 500 892 158700 | 8857 5777 19 | 0.000 % | c | 94834 | 500 892 158700 | 9743 6916 19 | 0.000 % | c | 96542 | 500 892 158700 | 10717 8624 19 | 0.000 % | c | 99106 | 500 892 158700 | 11789 5812 18 | 0.000 % | c | 102950 | 500 892 158700 | 12968 9656 18 | 0.000 % | c =============================================================================== c New solution: 8 c Elapsed CPU time: 62.9874 s Remaining CPU time: 117.013 s c =============================================================================== c | 105122 | 500 893 159100 | 5000 11828 19 | 0.000 % | c | 105222 | 500 893 159100 | 5500 3057 23 | 0.000 % | c | 105375 | 500 893 159100 | 6050 3210 24 | 0.000 % | c | 105601 | 500 893 159100 | 6655 3436 23 | 0.000 % | c | 105938 | 500 893 159100 | 7320 3773 23 | 0.000 % | c | 106444 | 500 893 159100 | 8052 4279 24 | 0.000 % | c | 107204 | 500 893 159100 | 8857 5039 24 | 0.000 % | c | 108343 | 500 893 159100 | 9743 6178 23 | 0.000 % | c =============================================================================== c New solution: 7 c Elapsed CPU time: 66.1 s Remaining CPU time: 113.9 s c =============================================================================== c | 109912 | 500 894 159500 | 5000 7747 22 | 0.000 % | c | 110012 | 500 894 159500 | 5500 3974 20 | 0.000 % | c | 110162 | 500 894 159500 | 6050 4124 21 | 0.000 % | c | 110387 | 500 894 159500 | 6655 4349 20 | 0.000 % | c | 110725 | 500 894 159500 | 7320 4687 20 | 0.000 % | c | 111231 | 500 894 159500 | 8052 5193 20 | 0.000 % | c | 111990 | 500 894 159500 | 8857 5952 21 | 0.000 % | c | 113129 | 500 894 159500 | 9743 7091 20 | 0.000 % | c | 114837 | 500 894 159500 | 10717 8799 22 | 0.000 % | c | 117399 | 500 894 159500 | 11789 5991 22 | 0.000 % | c | 121243 | 500 894 159500 | 12968 9835 21 | 0.000 % | c | 127009 | 500 894 159500 | 14265 9101 19 | 0.000 % | c | 135658 | 500 894 159500 | 15692 10602 17 | 0.000 % | c =============================================================================== c New solution: 6 c Elapsed CPU time: 87.9926 s Remaining CPU time: 92.0074 s c =============================================================================== c | 145185 | 500 895 159900 | 5000 12266 18 | 0.000 % | c | 145285 | 500 895 159900 | 5500 3167 20 | 0.000 % | c | 145435 | 500 895 159900 | 6050 3317 20 | 0.000 % | c | 145660 | 500 895 159900 | 6655 3542 20 | 0.000 % | c | 145997 | 500 895 159900 | 7320 3879 20 | 0.000 % | c | 146503 | 500 895 159900 | 8052 4385 19 | 0.000 % | c | 147262 | 500 895 159900 | 8857 5144 19 | 0.000 % | c | 148401 | 500 895 159900 | 9743 6283 18 | 0.000 % | c | 150109 | 500 895 159900 | 10717 7991 17 | 0.000 % | c | 152671 | 500 895 159900 | 11789 10553 17 | 0.000 % | c | 156515 | 500 895 159900 | 12968 8479 15 | 0.000 % | c | 162281 | 500 895 159900 | 14265 7743 15 | 0.000 % | c | 170930 | 500 895 159900 | 15692 9251 15 | 0.000 % | c =============================================================================== c New solution: 5 c Elapsed CPU time: 105.596 s Remaining CPU time: 74.4041 s c =============================================================================== c | 178115 | 500 896 160300 | 5000 8579 14 | 0.000 % | c | 178217 | 500 896 160300 | 5500 4392 15 | 0.000 % | c | 178369 | 500 896 160300 | 6050 4544 15 | 0.000 % | c | 178594 | 500 896 160300 | 6655 4769 15 | 0.000 % | c | 178931 | 500 896 160300 | 7320 5106 14 | 0.000 % | c | 179437 | 500 896 160300 | 8052 5612 15 | 0.000 % | c | 180196 | 500 896 160300 | 8857 6371 14 | 0.000 % | c | 181335 | 500 896 160300 | 9743 7510 14 | 0.000 % | c =============================================================================== c New solution: 4 c Elapsed CPU time: 107.515 s Remaining CPU time: 72.4853 s c =============================================================================== c | 182133 | 500 897 160700 | 5000 8308 14 | 0.000 % | c | 182233 | 500 897 160700 | 5500 4254 14 | 0.000 % | c | 182383 | 500 897 160700 | 6050 4404 14 | 0.000 % | c | 182608 | 500 897 160700 | 6655 4629 14 | 0.000 % | c | 182945 | 500 897 160700 | 7320 4966 14 | 0.000 % | c | 183451 | 500 897 160700 | 8052 5472 14 | 0.000 % | c | 184210 | 500 897 160700 | 8857 6231 15 | 0.000 % | c | 185349 | 500 897 160700 | 9743 7370 15 | 0.000 % | c | 187057 | 500 897 160700 | 10717 9078 15 | 0.000 % | c | 189619 | 500 897 160700 | 11789 6275 16 | 0.000 % | c =============================================================================== c New solution: 3 c Elapsed CPU time: 114.017 s Remaining CPU time: 65.9833 s c =============================================================================== c | 193161 | 500 898 161100 | 5000 9817 15 | 0.000 % | c | 193262 | 500 898 161100 | 5500 5010 16 | 0.001 % | c | 193412 | 500 898 161100 | 6050 5160 16 | 0.001 % | c | 193637 | 500 898 161100 | 6655 5385 16 | 0.001 % | c | 193976 | 500 898 161100 | 7320 5724 16 | 0.001 % | c | 194482 | 500 898 161100 | 8052 6230 16 | 0.001 % | c | 195241 | 500 898 161100 | 8857 6989 15 | 0.001 % | c | 196381 | 500 898 161100 | 9743 8129 15 | 0.001 % | c | 198089 | 500 898 161100 | 10717 4956 15 | 0.001 % | c =============================================================================== c New solution: 2 c Elapsed CPU time: 118.124 s Remaining CPU time: 61.876 s c =============================================================================== c | 199932 | 499 899 161500 | 5000 1546 17 | 0.001 % | c | 200033 | 499 899 161500 | 5500 1647 17 | 0.200 % | c | 200183 | 499 899 161500 | 6050 1797 17 | 0.200 % | c | 200408 | 499 899 161500 | 6655 2022 16 | 0.201 % | c | 200745 | 499 899 161500 | 7320 2359 16 | 0.201 % | c | 201251 | 499 899 161500 | 8052 2865 17 | 0.201 % | c | 202011 | 498 899 161500 | 8857 2427 16 | 0.400 % | c | 203150 | 497 899 161500 | 9743 1685 13 | 0.600 % | c =============================================================================== c Total CPU time: 120.808 s