c wbo 1.4 beta - 20100610 c | Number of variables: 1040 | c | Number of clauses: 4567 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1547 | c | Number Clauses: 4555 | 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 | 1547 4555 9631 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 1547 4556 10150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 1547 4557 10669 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 1547 4558 11188 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 1547 4559 11707 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1547 4560 12226 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 1547 4561 12745 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1547 4562 13264 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 1547 4563 13783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1547 4564 14302 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1547 4565 14821 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1547 4566 15340 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 1547 4567 15859 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 1547 4568 16378 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 1547 4569 16897 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 1547 4570 17416 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 1547 4571 17935 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 1547 4572 18454 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 1547 4573 18973 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 0 | 1547 4574 19492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 0 | 1547 4575 20011 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 1547 4576 20530 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 0 | 1547 4577 21049 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 1547 4578 21568 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 0 | 1547 4579 22087 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 0 | 1547 4580 22606 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 0 | 1547 4581 23125 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 0 | 1547 4582 23644 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 0 | 1547 4583 24163 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 1 | 1547 4584 24682 | 5000 1 493 | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 1 | 1547 4585 25201 | 5000 1 493 | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 1 | 1547 4586 25720 | 5000 1 493 | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 1 | 1547 4587 26239 | 5000 1 493 | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 1 | 1547 4588 26758 | 5000 1 493 | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s c =============================================================================== c | 1 | 1547 4589 27277 | 5000 1 493 | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s c =============================================================================== c | 1 | 1547 4590 27796 | 5000 1 493 | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 1 | 1547 4591 28315 | 5000 1 493 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 0.118981 s Remaining CPU time: 179.881 s c =============================================================================== c | 1 | 1547 4592 28834 | 5000 1 493 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 0.121981 s Remaining CPU time: 179.878 s c =============================================================================== c | 1 | 1547 4593 29353 | 5000 1 493 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 0.124981 s Remaining CPU time: 179.875 s c =============================================================================== c | 1 | 1547 4594 29872 | 5000 1 493 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s c =============================================================================== c | 1 | 1547 4595 30391 | 5000 1 493 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 0.131979 s Remaining CPU time: 179.868 s c =============================================================================== c | 1 | 1547 4596 30910 | 5000 1 493 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 1 | 1547 4597 31429 | 5000 1 493 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 1 | 1547 4598 31948 | 5000 1 493 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 0.147977 s Remaining CPU time: 179.852 s c =============================================================================== c | 1 | 1547 4599 32467 | 5000 1 493 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 1 | 1547 4600 32986 | 5000 1 493 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s c =============================================================================== c | 2 | 1547 4601 33505 | 5000 2 248 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 2 | 1547 4602 34024 | 5000 2 248 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 2 | 1547 4603 34543 | 5000 2 248 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 2 | 1547 4604 35062 | 5000 2 248 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 0.175973 s Remaining CPU time: 179.824 s c =============================================================================== c | 2 | 1547 4605 35581 | 5000 2 248 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 0.181972 s Remaining CPU time: 179.818 s c =============================================================================== c | 2 | 1547 4606 36100 | 5000 2 248 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 0.186971 s Remaining CPU time: 179.813 s c =============================================================================== c | 3 | 1547 4607 36619 | 5000 3 322 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 0.19297 s Remaining CPU time: 179.807 s c =============================================================================== c | 3 | 1547 4608 37138 | 5000 3 322 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 0.198969 s Remaining CPU time: 179.801 s c =============================================================================== c | 3 | 1547 4609 37657 | 5000 3 322 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 5 | 1547 4610 38176 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 0.210967 s Remaining CPU time: 179.789 s c =============================================================================== c | 5 | 1547 4611 38695 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 0.217966 s Remaining CPU time: 179.782 s c =============================================================================== c | 5 | 1547 4612 39214 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 0.224965 s Remaining CPU time: 179.775 s c =============================================================================== c | 5 | 1547 4613 39733 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 0.230964 s Remaining CPU time: 179.769 s c =============================================================================== c | 5 | 1547 4614 40252 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 0.237963 s Remaining CPU time: 179.762 s c =============================================================================== c | 5 | 1547 4615 40771 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 0.244962 s Remaining CPU time: 179.755 s c =============================================================================== c | 5 | 1547 4616 41290 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 0.248962 s Remaining CPU time: 179.751 s c =============================================================================== c | 5 | 1547 4617 41809 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 0.255961 s Remaining CPU time: 179.744 s c =============================================================================== c | 5 | 1547 4618 42328 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 0.26296 s Remaining CPU time: 179.737 s c =============================================================================== c | 5 | 1547 4619 42847 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 0.269958 s Remaining CPU time: 179.73 s c =============================================================================== c | 5 | 1547 4620 43366 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 0.277957 s Remaining CPU time: 179.722 s c =============================================================================== c | 5 | 1547 4621 43885 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 0.284956 s Remaining CPU time: 179.715 s c =============================================================================== c | 5 | 1547 4622 44404 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 0.291955 s Remaining CPU time: 179.708 s c =============================================================================== c | 5 | 1547 4623 44923 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 0.299954 s Remaining CPU time: 179.7 s c =============================================================================== c | 5 | 1547 4624 45442 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 0.307953 s Remaining CPU time: 179.692 s c =============================================================================== c | 5 | 1547 4625 45961 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 0.313952 s Remaining CPU time: 179.686 s c =============================================================================== c | 5 | 1547 4626 46480 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 0.319951 s Remaining CPU time: 179.68 s c =============================================================================== c | 5 | 1547 4627 46999 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 0.328949 s Remaining CPU time: 179.671 s c =============================================================================== c | 5 | 1547 4628 47518 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 0.337948 s Remaining CPU time: 179.662 s c =============================================================================== c | 6 | 1547 4629 48037 | 5000 6 391 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 0.346947 s Remaining CPU time: 179.653 s c =============================================================================== c | 6 | 1547 4630 48556 | 5000 6 391 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 0.354946 s Remaining CPU time: 179.645 s c =============================================================================== c | 6 | 1547 4631 49075 | 5000 6 391 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 0.363944 s Remaining CPU time: 179.636 s c =============================================================================== c | 6 | 1547 4632 49594 | 5000 6 391 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 0.372943 s Remaining CPU time: 179.627 s c =============================================================================== c | 6 | 1547 4633 50113 | 5000 6 391 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 0.381941 s Remaining CPU time: 179.618 s c =============================================================================== c | 6 | 1547 4634 50632 | 5000 6 391 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 0.39194 s Remaining CPU time: 179.608 s c =============================================================================== c | 6 | 1547 4635 51151 | 5000 6 391 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 0.401938 s Remaining CPU time: 179.598 s c =============================================================================== c | 6 | 1547 4636 51670 | 5000 6 391 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 0.410937 s Remaining CPU time: 179.589 s c =============================================================================== c | 6 | 1547 4637 52189 | 5000 6 391 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 0.419936 s Remaining CPU time: 179.58 s c =============================================================================== c | 6 | 1547 4638 52708 | 5000 6 391 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 0.428934 s Remaining CPU time: 179.571 s c =============================================================================== c | 6 | 1547 4639 53227 | 5000 6 391 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 0.438933 s Remaining CPU time: 179.561 s c =============================================================================== c | 6 | 1547 4640 53746 | 5000 6 391 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 0.449931 s Remaining CPU time: 179.55 s c =============================================================================== c | 6 | 1547 4641 54265 | 5000 6 391 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 0.45893 s Remaining CPU time: 179.541 s c =============================================================================== c | 7 | 1547 4642 54784 | 5000 7 397 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 0.468928 s Remaining CPU time: 179.531 s c =============================================================================== c | 7 | 1547 4643 55303 | 5000 7 397 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 0.477927 s Remaining CPU time: 179.522 s c =============================================================================== c | 7 | 1547 4644 55822 | 5000 7 397 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 0.486925 s Remaining CPU time: 179.513 s c =============================================================================== c | 7 | 1547 4645 56341 | 5000 7 397 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 0.496924 s Remaining CPU time: 179.503 s c =============================================================================== c | 7 | 1547 4646 56860 | 5000 7 397 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 0.507922 s Remaining CPU time: 179.492 s c =============================================================================== c | 7 | 1547 4647 57379 | 5000 7 397 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 0.517921 s Remaining CPU time: 179.482 s c =============================================================================== c | 7 | 1547 4648 57898 | 5000 7 397 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 0.526919 s Remaining CPU time: 179.473 s c =============================================================================== c | 7 | 1547 4649 58417 | 5000 7 397 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 0.537918 s Remaining CPU time: 179.462 s c =============================================================================== c | 8 | 1547 4650 58936 | 5000 8 401 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 0.549916 s Remaining CPU time: 179.45 s c =============================================================================== c | 8 | 1547 4651 59455 | 5000 8 401 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 0.561914 s Remaining CPU time: 179.438 s c =============================================================================== c | 8 | 1547 4652 59974 | 5000 8 401 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 0.573912 s Remaining CPU time: 179.426 s c =============================================================================== c | 8 | 1547 4653 60493 | 5000 8 401 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 0.583911 s Remaining CPU time: 179.416 s c =============================================================================== c | 8 | 1547 4654 61012 | 5000 8 401 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 0.595909 s Remaining CPU time: 179.404 s c =============================================================================== c | 8 | 1547 4655 61531 | 5000 8 401 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 0.608907 s Remaining CPU time: 179.391 s c =============================================================================== c | 8 | 1547 4656 62050 | 5000 8 401 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 0.618905 s Remaining CPU time: 179.381 s c =============================================================================== c | 8 | 1547 4657 62569 | 5000 8 401 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 0.630904 s Remaining CPU time: 179.369 s c =============================================================================== c | 9 | 1547 4658 63088 | 5000 9 403 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 0.642902 s Remaining CPU time: 179.357 s c =============================================================================== c | 9 | 1547 4659 63607 | 5000 9 403 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 0.6549 s Remaining CPU time: 179.345 s c =============================================================================== c | 9 | 1547 4660 64126 | 5000 9 403 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 0.667898 s Remaining CPU time: 179.332 s c =============================================================================== c | 9 | 1547 4661 64645 | 5000 9 403 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 0.681896 s Remaining CPU time: 179.318 s c =============================================================================== c | 9 | 1547 4662 65164 | 5000 9 403 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 0.693894 s Remaining CPU time: 179.306 s c =============================================================================== c | 9 | 1547 4663 65683 | 5000 9 403 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 0.705892 s Remaining CPU time: 179.294 s c =============================================================================== c | 9 | 1547 4664 66202 | 5000 9 403 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 0.71989 s Remaining CPU time: 179.28 s c =============================================================================== c | 9 | 1547 4665 66721 | 5000 9 403 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 0.733888 s Remaining CPU time: 179.266 s c =============================================================================== c | 9 | 1547 4666 67240 | 5000 9 403 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 0.746886 s Remaining CPU time: 179.253 s c =============================================================================== c | 9 | 1547 4667 67759 | 5000 9 403 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 0.760884 s Remaining CPU time: 179.239 s c =============================================================================== c | 9 | 1547 4668 68278 | 5000 9 403 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 0.773882 s Remaining CPU time: 179.226 s c =============================================================================== c | 9 | 1547 4669 68797 | 5000 9 403 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 0.78888 s Remaining CPU time: 179.211 s c =============================================================================== c | 9 | 1547 4670 69316 | 5000 9 403 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 0.801878 s Remaining CPU time: 179.198 s c =============================================================================== c | 9 | 1547 4671 69835 | 5000 9 403 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 0.816875 s Remaining CPU time: 179.183 s c =============================================================================== c | 9 | 1547 4672 70354 | 5000 9 403 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.831873 s Remaining CPU time: 179.168 s c =============================================================================== c | 10 | 1547 4673 70873 | 5000 10 403 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.845871 s Remaining CPU time: 179.154 s c =============================================================================== c | 10 | 1547 4674 71392 | 5000 10 403 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.859869 s Remaining CPU time: 179.14 s c =============================================================================== c | 10 | 1547 4675 71911 | 5000 10 403 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.875866 s Remaining CPU time: 179.124 s c =============================================================================== c | 11 | 1547 4676 72430 | 5000 11 402 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.891864 s Remaining CPU time: 179.108 s c =============================================================================== c | 11 | 1547 4677 72949 | 5000 11 402 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.907861 s Remaining CPU time: 179.092 s c =============================================================================== c | 12 | 1547 4678 73468 | 5000 12 402 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.922859 s Remaining CPU time: 179.077 s c =============================================================================== c | 12 | 1547 4679 73987 | 5000 12 402 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.938857 s Remaining CPU time: 179.061 s c =============================================================================== c | 12 | 1547 4680 74506 | 5000 12 402 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.953854 s Remaining CPU time: 179.046 s c =============================================================================== c | 12 | 1547 4681 75025 | 5000 12 402 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.968852 s Remaining CPU time: 179.031 s c =============================================================================== c | 12 | 1547 4682 75544 | 5000 12 402 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.98485 s Remaining CPU time: 179.015 s c =============================================================================== c | 12 | 1547 4683 76063 | 5000 12 402 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 1.00085 s Remaining CPU time: 178.999 s c =============================================================================== c | 12 | 1547 4684 76582 | 5000 12 402 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 1.01784 s Remaining CPU time: 178.982 s c =============================================================================== c | 12 | 1547 4685 77101 | 5000 12 402 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 1.03484 s Remaining CPU time: 178.965 s c =============================================================================== c | 12 | 1547 4686 77620 | 5000 12 402 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 1.05184 s Remaining CPU time: 178.948 s c =============================================================================== c | 13 | 1547 4687 78139 | 5000 13 401 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 1.06984 s Remaining CPU time: 178.93 s c =============================================================================== c | 20 | 1547 4688 78658 | 5000 20 396 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 1.08583 s Remaining CPU time: 178.914 s c =============================================================================== c | 20 | 1547 4689 79177 | 5000 20 396 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 1.10283 s Remaining CPU time: 178.897 s c =============================================================================== c | 20 | 1547 4690 79696 | 5000 20 396 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 1.11883 s Remaining CPU time: 178.881 s c =============================================================================== c | 24 | 1547 4691 80215 | 5000 24 395 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 1.13583 s Remaining CPU time: 178.864 s c =============================================================================== c | 24 | 1547 4692 80734 | 5000 24 395 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 1.15082 s Remaining CPU time: 178.849 s c =============================================================================== c | 24 | 1547 4693 81253 | 5000 24 395 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 1.16882 s Remaining CPU time: 178.831 s c =============================================================================== c | 24 | 1547 4694 81772 | 5000 24 395 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 1.18582 s Remaining CPU time: 178.814 s c =============================================================================== c | 24 | 1547 4695 82291 | 5000 24 395 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 1.20382 s Remaining CPU time: 178.796 s c =============================================================================== c | 25 | 1547 4696 82810 | 5000 25 394 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 1.22281 s Remaining CPU time: 178.777 s c =============================================================================== c | 25 | 1547 4697 83329 | 5000 25 394 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 1.24181 s Remaining CPU time: 178.758 s c =============================================================================== c | 25 | 1547 4698 83848 | 5000 25 394 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 1.25981 s Remaining CPU time: 178.74 s c =============================================================================== c | 25 | 1547 4699 84367 | 5000 25 394 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 1.2788 s Remaining CPU time: 178.721 s c =============================================================================== c | 25 | 1547 4700 84886 | 5000 25 394 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 1.2988 s Remaining CPU time: 178.701 s c =============================================================================== c | 33 | 1547 4701 85405 | 5000 33 390 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 1.3178 s Remaining CPU time: 178.682 s c =============================================================================== c | 33 | 1547 4702 85924 | 5000 33 390 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 1.3378 s Remaining CPU time: 178.662 s c =============================================================================== c | 33 | 1547 4703 86443 | 5000 33 390 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 1.35579 s Remaining CPU time: 178.644 s c =============================================================================== c | 34 | 1547 4704 86962 | 5000 34 389 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 1.37579 s Remaining CPU time: 178.624 s c =============================================================================== c | 34 | 1547 4705 87481 | 5000 34 389 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 1.39579 s Remaining CPU time: 178.604 s c =============================================================================== c | 34 | 1547 4706 88000 | 5000 34 389 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 1.41778 s Remaining CPU time: 178.582 s c =============================================================================== c | 43 | 1547 4707 88519 | 5000 43 385 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 1.43878 s Remaining CPU time: 178.561 s c =============================================================================== c | 43 | 1547 4708 89038 | 5000 43 385 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 1.45978 s Remaining CPU time: 178.54 s c =============================================================================== c | 43 | 1547 4709 89557 | 5000 43 385 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 1.48077 s Remaining CPU time: 178.519 s c =============================================================================== c | 43 | 1547 4710 90076 | 5000 43 385 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 1.50077 s Remaining CPU time: 178.499 s c =============================================================================== c | 43 | 1547 4711 90595 | 5000 43 385 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 1.52177 s Remaining CPU time: 178.478 s c =============================================================================== c | 44 | 1547 4712 91114 | 5000 44 384 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 1.54076 s Remaining CPU time: 178.459 s c =============================================================================== c | 44 | 1547 4713 91633 | 5000 44 384 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 1.56276 s Remaining CPU time: 178.437 s c =============================================================================== c | 44 | 1547 4714 92152 | 5000 44 384 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 1.58476 s Remaining CPU time: 178.415 s c =============================================================================== c | 45 | 1547 4715 92671 | 5000 45 384 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 1.60676 s Remaining CPU time: 178.393 s c =============================================================================== c | 45 | 1547 4716 93190 | 5000 45 384 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 1.63075 s Remaining CPU time: 178.369 s c =============================================================================== c | 52 | 1547 4717 93709 | 5000 52 380 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 1.65275 s Remaining CPU time: 178.347 s c =============================================================================== c | 68 | 1547 4718 94228 | 5000 68 375 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 1.67575 s Remaining CPU time: 178.324 s c =============================================================================== c | 70 | 1547 4719 94747 | 5000 70 375 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 1.69774 s Remaining CPU time: 178.302 s c =============================================================================== c | 71 | 1547 4720 95266 | 5000 71 375 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 1.71974 s Remaining CPU time: 178.28 s c =============================================================================== c | 74 | 1547 4721 95785 | 5000 74 374 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 1.74373 s Remaining CPU time: 178.256 s c =============================================================================== c | 78 | 1547 4722 96304 | 5000 78 373 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 1.76973 s Remaining CPU time: 178.23 s c =============================================================================== c | 90 | 1547 4723 96823 | 5000 90 370 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 1.79273 s Remaining CPU time: 178.207 s c =============================================================================== c | 94 | 1547 4724 97342 | 5000 94 369 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 1.81772 s Remaining CPU time: 178.182 s c =============================================================================== c | 106 | 1547 4725 97861 | 5000 106 367 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 1.84172 s Remaining CPU time: 178.158 s c =============================================================================== c | 107 | 1547 4726 98380 | 5000 107 367 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 1.86572 s Remaining CPU time: 178.134 s c =============================================================================== c | 111 | 1547 4727 98899 | 5000 111 366 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 1.89071 s Remaining CPU time: 178.109 s c =============================================================================== c | 115 | 1547 4728 99418 | 5000 115 366 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 1.91771 s Remaining CPU time: 178.082 s c =============================================================================== c | 130 | 1547 4729 99937 | 5000 130 364 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 1.9487 s Remaining CPU time: 178.051 s c =============================================================================== c | 149 | 1547 4730 100456 | 5000 149 361 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 1.9727 s Remaining CPU time: 178.027 s c =============================================================================== c | 152 | 1547 4731 100975 | 5000 152 361 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 1.9957 s Remaining CPU time: 178.004 s c =============================================================================== c | 154 | 1547 4732 101494 | 5000 154 361 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 2.01969 s Remaining CPU time: 177.98 s c =============================================================================== c | 155 | 1547 4733 102013 | 5000 155 361 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 2.04769 s Remaining CPU time: 177.952 s c =============================================================================== c | 172 | 1547 4734 102532 | 5000 172 357 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 2.07268 s Remaining CPU time: 177.927 s c =============================================================================== c | 174 | 1547 4735 103051 | 5000 174 357 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 2.09768 s Remaining CPU time: 177.902 s c =============================================================================== c | 176 | 1547 4736 103570 | 5000 176 357 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 2.12368 s Remaining CPU time: 177.876 s c =============================================================================== c | 178 | 1547 4737 104089 | 5000 178 356 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 2.15467 s Remaining CPU time: 177.845 s c =============================================================================== c | 204 | 1547 4738 104608 | 5000 204 354 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 2.17967 s Remaining CPU time: 177.82 s c =============================================================================== c | 207 | 1547 4739 105127 | 5000 207 354 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 2.20566 s Remaining CPU time: 177.794 s c =============================================================================== c | 211 | 1547 4740 105646 | 5000 211 353 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 2.23066 s Remaining CPU time: 177.769 s c =============================================================================== c | 214 | 1547 4741 106165 | 5000 214 353 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 2.25666 s Remaining CPU time: 177.743 s c =============================================================================== c | 217 | 1547 4742 106684 | 5000 217 353 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 2.28165 s Remaining CPU time: 177.718 s c =============================================================================== c | 219 | 1547 4743 107203 | 5000 219 353 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 2.30865 s Remaining CPU time: 177.691 s c =============================================================================== c | 222 | 1547 4744 107722 | 5000 222 352 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 2.33664 s Remaining CPU time: 177.663 s c =============================================================================== c | 237 | 1547 4745 108241 | 5000 237 351 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 2.36364 s Remaining CPU time: 177.636 s c =============================================================================== c | 239 | 1547 4746 108760 | 5000 239 351 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 2.39264 s Remaining CPU time: 177.607 s c =============================================================================== c | 255 | 1547 4747 109279 | 5000 255 350 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 2.41963 s Remaining CPU time: 177.58 s c =============================================================================== c | 258 | 1547 4748 109798 | 5000 258 349 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 2.45263 s Remaining CPU time: 177.547 s c =============================================================================== c | 277 | 1547 4749 110317 | 5000 277 348 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 2.47962 s Remaining CPU time: 177.52 s c =============================================================================== c | 278 | 1547 4750 110836 | 5000 278 348 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 2.50562 s Remaining CPU time: 177.494 s c =============================================================================== c | 279 | 1547 4751 111355 | 5000 279 348 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 2.53261 s Remaining CPU time: 177.467 s c =============================================================================== c | 280 | 1547 4752 111874 | 5000 280 347 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 2.56361 s Remaining CPU time: 177.436 s c =============================================================================== c | 297 | 1547 4753 112393 | 5000 297 346 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 2.59161 s Remaining CPU time: 177.408 s c =============================================================================== c | 299 | 1547 4754 112912 | 5000 299 346 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 2.6196 s Remaining CPU time: 177.38 s c =============================================================================== c | 301 | 1547 4755 113431 | 5000 301 346 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 2.6496 s Remaining CPU time: 177.35 s c =============================================================================== c | 318 | 1547 4756 113950 | 5000 318 344 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 2.67659 s Remaining CPU time: 177.323 s c =============================================================================== c | 322 | 1547 4757 114469 | 5000 322 344 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 2.70359 s Remaining CPU time: 177.296 s c =============================================================================== c | 324 | 1547 4758 114988 | 5000 324 344 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 2.73158 s Remaining CPU time: 177.268 s c =============================================================================== c | 329 | 1547 4759 115507 | 5000 329 343 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 2.76058 s Remaining CPU time: 177.239 s c =============================================================================== c | 330 | 1547 4760 116026 | 5000 330 343 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 2.78958 s Remaining CPU time: 177.21 s c =============================================================================== c | 332 | 1547 4761 116545 | 5000 332 343 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 2.81857 s Remaining CPU time: 177.181 s c =============================================================================== c | 335 | 1547 4762 117064 | 5000 335 343 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 2.84757 s Remaining CPU time: 177.152 s c =============================================================================== c | 337 | 1547 4763 117583 | 5000 337 343 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 2.87756 s Remaining CPU time: 177.122 s c =============================================================================== c | 339 | 1547 4764 118102 | 5000 339 343 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 2.90656 s Remaining CPU time: 177.093 s c =============================================================================== c | 341 | 1547 4765 118621 | 5000 341 342 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 2.93655 s Remaining CPU time: 177.063 s c =============================================================================== c | 349 | 1547 4766 119140 | 5000 349 342 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 2.96855 s Remaining CPU time: 177.031 s c =============================================================================== c | 359 | 1547 4767 119659 | 5000 359 341 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 3.00354 s Remaining CPU time: 176.996 s c =============================================================================== c | 376 | 1547 4768 120178 | 5000 376 339 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 3.04054 s Remaining CPU time: 176.959 s c =============================================================================== c | 400 | 1547 4769 120697 | 5000 400 337 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 3.07653 s Remaining CPU time: 176.923 s c =============================================================================== c | 420 | 1547 4770 121216 | 5000 420 336 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 3.10853 s Remaining CPU time: 176.891 s c =============================================================================== c | 429 | 1547 4771 121735 | 5000 429 335 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 3.14752 s Remaining CPU time: 176.852 s c =============================================================================== c | 470 | 1547 4772 122254 | 5000 470 333 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 3.18052 s Remaining CPU time: 176.819 s c =============================================================================== c | 481 | 1547 4773 122773 | 5000 481 332 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 3.21051 s Remaining CPU time: 176.789 s c =============================================================================== c | 482 | 1547 4774 123292 | 5000 482 332 | 0.000 % | c | 582 | 1547 4774 123292 | 5500 582 327 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 3.2965 s Remaining CPU time: 176.704 s c =============================================================================== c | 595 | 1547 4775 123811 | 5000 595 326 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 3.33149 s Remaining CPU time: 176.669 s c =============================================================================== c | 612 | 1547 4776 124330 | 5000 612 325 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 3.37749 s Remaining CPU time: 176.623 s c =============================================================================== c | 651 | 1547 4777 124849 | 5000 651 324 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 3.42448 s Remaining CPU time: 176.576 s c =============================================================================== c | 710 | 1547 4778 125368 | 5000 710 322 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 3.45747 s Remaining CPU time: 176.543 s c =============================================================================== c | 720 | 1547 4779 125887 | 5000 720 321 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 3.48947 s Remaining CPU time: 176.511 s c =============================================================================== c | 726 | 1547 4780 126406 | 5000 726 321 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 3.52446 s Remaining CPU time: 176.476 s c =============================================================================== c | 745 | 1547 4781 126925 | 5000 745 320 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 3.56246 s Remaining CPU time: 176.438 s c =============================================================================== c | 772 | 1547 4782 127444 | 5000 772 320 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 3.60145 s Remaining CPU time: 176.399 s c =============================================================================== c | 795 | 1547 4783 127963 | 5000 795 319 | 0.000 % | c | 896 | 1547 4783 127963 | 5500 896 316 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 3.69644 s Remaining CPU time: 176.304 s c =============================================================================== c | 906 | 1547 4784 128482 | 5000 906 316 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 3.72743 s Remaining CPU time: 176.273 s c =============================================================================== c | 907 | 1547 4785 129001 | 5000 907 316 | 0.000 % | c | 1007 | 1547 4785 129001 | 5500 1007 313 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 3.84142 s Remaining CPU time: 176.159 s c =============================================================================== c | 1046 | 1547 4786 129520 | 5000 1046 312 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 3.87941 s Remaining CPU time: 176.121 s c =============================================================================== c | 1058 | 1547 4787 130039 | 5000 1058 312 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 3.9154 s Remaining CPU time: 176.085 s c =============================================================================== c | 1070 | 1547 4788 130558 | 5000 1070 312 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 3.9474 s Remaining CPU time: 176.053 s c =============================================================================== c | 1072 | 1547 4789 131077 | 5000 1072 312 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 3.98139 s Remaining CPU time: 176.019 s c =============================================================================== c | 1084 | 1547 4790 131596 | 5000 1084 311 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 4.01639 s Remaining CPU time: 175.984 s c =============================================================================== c | 1093 | 1547 4791 132115 | 5000 1093 311 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 4.05238 s Remaining CPU time: 175.948 s c =============================================================================== c | 1105 | 1547 4792 132634 | 5000 1105 311 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 4.10238 s Remaining CPU time: 175.898 s c =============================================================================== c | 1148 | 1547 4793 133153 | 5000 1148 310 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 4.13537 s Remaining CPU time: 175.865 s c =============================================================================== c | 1149 | 1547 4794 133672 | 5000 1149 310 | 0.000 % | c | 1249 | 1547 4794 133672 | 5500 1249 308 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 4.23935 s Remaining CPU time: 175.761 s c =============================================================================== c | 1272 | 1547 4795 134191 | 5000 1272 307 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 4.27335 s Remaining CPU time: 175.727 s c =============================================================================== c | 1276 | 1547 4796 134710 | 5000 1276 307 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 4.33634 s Remaining CPU time: 175.664 s c =============================================================================== c | 1357 | 1547 4797 135229 | 5000 1357 305 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 4.36934 s Remaining CPU time: 175.631 s c =============================================================================== c | 1358 | 1547 4798 135748 | 5000 1358 305 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 4.41033 s Remaining CPU time: 175.59 s c =============================================================================== c | 1390 | 1547 4799 136267 | 5000 1390 305 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 4.45132 s Remaining CPU time: 175.549 s c =============================================================================== c | 1417 | 1547 4800 136786 | 5000 1417 304 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 4.48732 s Remaining CPU time: 175.513 s c =============================================================================== c | 1426 | 1547 4801 137305 | 5000 1426 304 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 4.52331 s Remaining CPU time: 175.477 s c =============================================================================== c | 1435 | 1547 4802 137824 | 5000 1435 304 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 4.5723 s Remaining CPU time: 175.428 s c =============================================================================== c | 1491 | 1547 4803 138343 | 5000 1491 303 | 0.000 % | c | 1591 | 1547 4803 138343 | 5500 1591 301 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 4.67329 s Remaining CPU time: 175.327 s c =============================================================================== c | 1593 | 1547 4804 138862 | 5000 1593 301 | 0.000 % | c | 1693 | 1547 4804 138862 | 5500 1693 299 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 4.77527 s Remaining CPU time: 175.225 s c =============================================================================== c | 1722 | 1547 4805 139381 | 5000 1722 299 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 4.80727 s Remaining CPU time: 175.193 s c =============================================================================== c | 1723 | 1547 4806 139900 | 5000 1723 299 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 4.84526 s Remaining CPU time: 175.155 s c =============================================================================== c | 1744 | 1547 4807 140419 | 5000 1744 298 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 4.88126 s Remaining CPU time: 175.119 s c =============================================================================== c | 1757 | 1547 4808 140938 | 5000 1757 298 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 4.92525 s Remaining CPU time: 175.075 s c =============================================================================== c | 1780 | 1547 4809 141457 | 5000 1780 297 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 4.97724 s Remaining CPU time: 175.023 s c =============================================================================== c | 1848 | 1547 4810 141976 | 5000 1848 296 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 5.01324 s Remaining CPU time: 174.987 s c =============================================================================== c | 1860 | 1547 4811 142495 | 5000 1860 296 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 5.05823 s Remaining CPU time: 174.942 s c =============================================================================== c | 1892 | 1547 4812 143014 | 5000 1892 296 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 5.09422 s Remaining CPU time: 174.906 s c =============================================================================== c | 1903 | 1547 4813 143533 | 5000 1903 295 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 5.13122 s Remaining CPU time: 174.869 s c =============================================================================== c | 1912 | 1547 4814 144052 | 5000 1912 295 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 5.16621 s Remaining CPU time: 174.834 s c =============================================================================== c | 1922 | 1547 4815 144571 | 5000 1922 295 | 0.000 % | c | 2023 | 1547 4815 144571 | 5500 2023 293 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 5.2822 s Remaining CPU time: 174.718 s c =============================================================================== c | 2108 | 1547 4816 145090 | 5000 2108 292 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 5.33619 s Remaining CPU time: 174.664 s c =============================================================================== c | 2174 | 1547 4817 145609 | 5000 2174 291 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 5.37518 s Remaining CPU time: 174.625 s c =============================================================================== c | 2190 | 1547 4818 146128 | 5000 2190 291 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 5.41518 s Remaining CPU time: 174.585 s c =============================================================================== c | 2208 | 1547 4819 146647 | 5000 2208 291 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 5.46917 s Remaining CPU time: 174.531 s c =============================================================================== c | 2270 | 1547 4820 147166 | 5000 2270 290 | 0.000 % | c | 2370 | 1547 4820 147166 | 5500 2370 288 | 0.000 % | c | 2520 | 1547 4820 147166 | 6050 2520 286 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 5.66714 s Remaining CPU time: 174.333 s c =============================================================================== c | 2551 | 1547 4821 147685 | 5000 2551 286 | 0.000 % | c | 2651 | 1547 4821 147685 | 5500 2651 285 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 5.77512 s Remaining CPU time: 174.225 s c =============================================================================== c | 2697 | 1547 4822 148204 | 5000 2697 284 | 0.000 % | c | 2797 | 1547 4822 148204 | 5500 2797 283 | 0.000 % | c | 2947 | 1547 4822 148204 | 6050 2947 282 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 5.99409 s Remaining CPU time: 174.006 s c =============================================================================== c | 3103 | 1547 4823 148723 | 5000 3103 280 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 6.05808 s Remaining CPU time: 173.942 s c =============================================================================== c | 3189 | 1547 4824 149242 | 5000 3189 279 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 6.10107 s Remaining CPU time: 173.899 s c =============================================================================== c | 3212 | 1547 4825 149761 | 5000 3212 279 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 6.15106 s Remaining CPU time: 173.849 s c =============================================================================== c | 3251 | 1547 4826 150280 | 5000 3251 279 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 6.18906 s Remaining CPU time: 173.811 s c =============================================================================== c | 3264 | 1547 4827 150799 | 5000 3264 279 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 6.23305 s Remaining CPU time: 173.767 s c =============================================================================== c | 3293 | 1547 4828 151318 | 5000 3293 279 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 6.29604 s Remaining CPU time: 173.704 s c =============================================================================== c | 3380 | 1547 4829 151837 | 5000 3380 278 | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 6.34403 s Remaining CPU time: 173.656 s c =============================================================================== c | 3418 | 1547 4830 152356 | 5000 3418 277 | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 6.39803 s Remaining CPU time: 173.602 s c =============================================================================== c | 3470 | 1547 4831 152875 | 5000 3470 277 | 0.000 % | c | 3570 | 1547 4831 152875 | 5500 3570 276 | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 6.51201 s Remaining CPU time: 173.488 s c =============================================================================== c | 3630 | 1547 4832 153394 | 5000 3630 275 | 0.000 % | c | 3730 | 1547 4832 153394 | 5500 3730 275 | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 6.61699 s Remaining CPU time: 173.383 s c =============================================================================== c | 3752 | 1547 4833 153913 | 5000 3752 274 | 0.000 % | c | 3852 | 1547 4833 153913 | 5500 3852 274 | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 6.72698 s Remaining CPU time: 173.273 s c =============================================================================== c | 3891 | 1547 4834 154432 | 5000 3891 273 | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 6.77097 s Remaining CPU time: 173.229 s c =============================================================================== c | 3923 | 1547 4835 154951 | 5000 3923 273 | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 6.82296 s Remaining CPU time: 173.177 s c =============================================================================== c | 3965 | 1547 4836 155470 | 5000 3965 273 | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 6.87396 s Remaining CPU time: 173.126 s c =============================================================================== c | 4010 | 1547 4837 155989 | 5000 4010 272 | 0.000 % | c | 4110 | 1547 4837 155989 | 5500 4110 271 | 0.000 % | c | 4261 | 1547 4837 155989 | 6050 4261 270 | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 7.06193 s Remaining CPU time: 172.938 s c =============================================================================== c | 4276 | 1547 4838 156508 | 5000 4276 270 | 0.000 % | c | 4377 | 1547 4838 156508 | 5500 4377 269 | 0.000 % | c | 4527 | 1547 4838 156508 | 6050 4527 268 | 0.000 % | c | 4753 | 1547 4838 156508 | 6655 4753 267 | 0.000 % | c | 5090 | 1547 4838 156508 | 7320 5090 265 | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 7.53585 s Remaining CPU time: 172.464 s c =============================================================================== c | 5096 | 1547 4839 157027 | 5000 5096 265 | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 7.62884 s Remaining CPU time: 172.371 s c =============================================================================== c | 5191 | 1547 4840 157546 | 5000 2643 244 | 0.000 % | c | 5291 | 1547 4840 157546 | 5500 2743 243 | 0.000 % | c | 5441 | 1547 4840 157546 | 6050 2893 243 | 0.000 % | c | 5666 | 1547 4840 157546 | 6655 3118 243 | 0.000 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 7.93479 s Remaining CPU time: 172.065 s c =============================================================================== c | 5683 | 1547 4841 158065 | 5000 3135 243 | 0.000 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 7.98679 s Remaining CPU time: 172.013 s c =============================================================================== c | 5720 | 1547 4842 158584 | 5000 3172 242 | 0.000 % | c | 5821 | 1547 4842 158584 | 5500 3273 242 | 0.000 % | c | 5971 | 1547 4842 158584 | 6050 3423 242 | 0.000 % | c | 6196 | 1547 4842 158584 | 6655 3648 241 | 0.000 % | c | 6533 | 1547 4842 158584 | 7320 3985 241 | 0.000 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 8.48471 s Remaining CPU time: 171.515 s c =============================================================================== c | 6603 | 1547 4843 159103 | 5000 4055 241 | 0.000 % | c | 6704 | 1547 4843 159103 | 5500 4156 240 | 0.000 % | c | 6854 | 1547 4843 159103 | 6050 4306 240 | 0.000 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 8.71767 s Remaining CPU time: 171.282 s c =============================================================================== c | 6966 | 1547 4844 159622 | 5000 4418 240 | 0.000 % | c | 7066 | 1547 4844 159622 | 5500 4518 240 | 0.000 % | c | 7216 | 1547 4844 159622 | 6050 4668 239 | 0.000 % | c | 7441 | 1547 4844 159622 | 6655 4893 239 | 0.000 % | c | 7779 | 1547 4844 159622 | 7320 5231 239 | 0.000 % | c | 8288 | 1547 4844 159622 | 8052 5740 238 | 0.000 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 9.44456 s Remaining CPU time: 170.555 s c =============================================================================== c | 8334 | 1547 4845 160141 | 5000 5786 238 | 0.000 % | c | 8434 | 1547 4845 160141 | 5500 2993 233 | 0.000 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 9.57154 s Remaining CPU time: 170.428 s c =============================================================================== c | 8469 | 1547 4846 160660 | 5000 3028 233 | 0.000 % | c | 8570 | 1547 4846 160660 | 5500 3129 233 | 0.000 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 9.68453 s Remaining CPU time: 170.315 s c =============================================================================== c | 8611 | 1547 4847 161179 | 5000 3170 233 | 0.000 % | c | 8711 | 1547 4847 161179 | 5500 3270 232 | 0.000 % | c | 8861 | 1547 4847 161179 | 6050 3420 232 | 0.000 % | c | 9086 | 1547 4847 161179 | 6655 3645 232 | 0.000 % | c =============================================================================== c New solution: 227 c Elapsed CPU time: 10.0845 s Remaining CPU time: 169.916 s c =============================================================================== c | 9331 | 1547 4848 161698 | 5000 3890 232 | 0.000 % | c | 9431 | 1547 4848 161698 | 5500 3990 232 | 0.000 % | c | 9581 | 1547 4848 161698 | 6050 4140 232 | 0.000 % | c | 9806 | 1547 4848 161698 | 6655 4365 231 | 0.000 % | c | 10143 | 1547 4848 161698 | 7320 4702 231 | 0.000 % | c | 10649 | 1547 4848 161698 | 8052 5208 231 | 0.000 % | c =============================================================================== c New solution: 226 c Elapsed CPU time: 11.1303 s Remaining CPU time: 168.87 s c =============================================================================== c | 11397 | 1547 4849 162217 | 5000 5956 230 | 0.000 % | c | 11497 | 1547 4849 162217 | 5500 3078 228 | 0.000 % | c | 11647 | 1547 4849 162217 | 6050 3228 228 | 0.000 % | c | 11872 | 1547 4849 162217 | 6655 3453 228 | 0.000 % | c | 12209 | 1547 4849 162217 | 7320 3790 228 | 0.000 % | c | 12715 | 1547 4849 162217 | 8052 4296 228 | 0.000 % | c | 13475 | 1547 4849 162217 | 8857 5056 228 | 0.000 % | c | 14614 | 1547 4849 162217 | 9743 6195 227 | 0.000 % | c | 16322 | 1547 4849 162217 | 10717 7903 227 | 0.000 % | c =============================================================================== c New solution: 225 c Elapsed CPU time: 14.3878 s Remaining CPU time: 165.612 s c =============================================================================== c | 18209 | 1547 4850 162736 | 5000 9790 227 | 0.000 % | c | 18309 | 1547 4850 162736 | 5500 4995 227 | 0.000 % | c | 18459 | 1547 4850 162736 | 6050 5145 227 | 0.000 % | c | 18684 | 1547 4850 162736 | 6655 5370 227 | 0.000 % | c | 19021 | 1547 4850 162736 | 7320 5707 227 | 0.000 % | c | 19527 | 1547 4850 162736 | 8052 6213 227 | 0.000 % | c | 20286 | 1547 4850 162736 | 8857 6972 227 | 0.000 % | c =============================================================================== c New solution: 224 c Elapsed CPU time: 15.7626 s Remaining CPU time: 164.237 s c =============================================================================== c | 20734 | 1547 4851 163255 | 5000 7420 227 | 0.000 % | c | 20834 | 1547 4851 163255 | 5500 3810 226 | 0.000 % | c | 20984 | 1547 4851 163255 | 6050 3960 226 | 0.000 % | c | 21209 | 1547 4851 163255 | 6655 4185 226 | 0.000 % | c | 21547 | 1547 4851 163255 | 7320 4523 226 | 0.000 % | c | 22054 | 1547 4851 163255 | 8052 5030 226 | 0.000 % | c | 22813 | 1547 4851 163255 | 8857 5789 226 | 0.000 % | c | 23953 | 1547 4851 163255 | 9743 6929 226 | 0.000 % | c | 25661 | 1547 4851 163255 | 10717 8637 226 | 0.000 % | c =============================================================================== c New solution: 223 c Elapsed CPU time: 18.9471 s Remaining CPU time: 161.053 s c =============================================================================== c | 26963 | 1547 4852 163774 | 5000 9939 226 | 0.000 % | c | 27063 | 1547 4852 163774 | 5500 5070 225 | 0.000 % | c | 27213 | 1547 4852 163774 | 6050 5220 225 | 0.000 % | c | 27438 | 1547 4852 163774 | 6655 5445 225 | 0.000 % | c | 27775 | 1547 4852 163774 | 7320 5782 225 | 0.000 % | c | 28281 | 1547 4852 163774 | 8052 6288 225 | 0.000 % | c | 29040 | 1547 4852 163774 | 8857 7047 225 | 0.000 % | c | 30179 | 1547 4852 163774 | 9743 8186 224 | 0.000 % | c | 31888 | 1547 4852 163774 | 10717 9895 224 | 0.000 % | c | 34450 | 1547 4852 163774 | 11789 6972 224 | 0.000 % | c | 38295 | 1547 4852 163774 | 12968 10817 224 | 0.000 % | c | 44061 | 1547 4852 163774 | 14265 9977 224 | 0.000 % | c | 52710 | 1547 4852 163774 | 15692 11352 224 | 0.000 % | c | 65685 | 1547 4852 163774 | 17261 8380 224 | 0.000 % | c =============================================================================== c New solution: 222 c Elapsed CPU time: 50.3443 s Remaining CPU time: 129.656 s c =============================================================================== c | 81068 | 1547 4853 164293 | 5000 15007 224 | 0.000 % | c | 81169 | 1547 4853 164293 | 5500 3853 224 | 0.000 % | c | 81320 | 1547 4853 164293 | 6050 4004 224 | 0.000 % | c | 81545 | 1547 4853 164293 | 6655 4229 224 | 0.000 % | c | 81882 | 1547 4853 164293 | 7320 4566 224 | 0.000 % | c | 82388 | 1547 4853 164293 | 8052 5072 224 | 0.000 % | c | 83147 | 1547 4853 164293 | 8857 5831 224 | 0.000 % | c | 84286 | 1547 4853 164293 | 9743 6970 223 | 0.000 % | c | 85995 | 1547 4853 164293 | 10717 8679 223 | 0.000 % | c | 88557 | 1547 4853 164293 | 11789 5753 223 | 0.000 % | c | 92401 | 1547 4853 164293 | 12968 9597 223 | 0.000 % | c | 98167 | 1547 4853 164293 | 14265 8759 223 | 0.000 % | c | 106816 | 1547 4853 164293 | 15692 10142 223 | 0.000 % | c | 119790 | 1547 4853 164293 | 17261 15137 223 | 0.000 % | c =============================================================================== c New solution: 221 c Elapsed CPU time: 76.6174 s Remaining CPU time: 103.383 s c =============================================================================== c | 132291 | 1547 4854 164812 | 5000 10109 223 | 0.000 % | c | 132392 | 1547 4854 164812 | 5500 2629 223 | 0.000 % | c | 132542 | 1547 4854 164812 | 6050 2779 223 | 0.000 % | c | 132767 | 1547 4854 164812 | 6655 3004 223 | 0.000 % | c | 133105 | 1547 4854 164812 | 7320 3342 223 | 0.000 % | c | 133611 | 1547 4854 164812 | 8052 3848 223 | 0.000 % | c | 134370 | 1547 4854 164812 | 8857 4607 222 | 0.000 % | c | 135509 | 1547 4854 164812 | 9743 5746 222 | 0.000 % | c | 137217 | 1547 4854 164812 | 10717 7454 222 | 0.000 % | c | 139779 | 1547 4854 164812 | 11789 10016 222 | 0.000 % | c | 143623 | 1547 4854 164812 | 12968 7841 222 | 0.000 % | c | 149389 | 1547 4854 164812 | 14265 6984 222 | 0.000 % | c | 158038 | 1547 4854 164812 | 15692 8361 222 | 0.000 % | c | 171012 | 1547 4854 164812 | 17261 13363 222 | 0.000 % | c | 190473 | 1547 4854 164812 | 18987 15304 222 | 0.000 % | c | 219666 | 1547 4854 164812 | 20886 15622 222 | 0.000 % | c | 263456 | 1547 4854 164812 | 22974 16815 222 | 0.000 % | c There are 0 assigned variables. 0 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1284 5385 10021 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1300 5387 10048 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1316 5388 10072 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1332 5389 10096 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1360 5390 10138 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1381 5392 10173 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1405 5393 10210 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1423 5394 10237 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1466 5395 10306 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1499 5396 13991 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1555 5398 23947 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1577 5400 29174 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1602 5401 33886 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1680 5402 46992 | 5000 0 nan | 0.000 % | c | 100 | 1677 5402 46992 | 5500 100 9 | 14.661 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1812 5403 64868 | 5000 0 nan | 0.000 % | c | 100 | 1810 5403 64868 | 5500 100 13 | 9.861 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2069 5405 92839 | 5000 0 nan | 0.000 % | c | 100 | 2069 5405 92839 | 5500 100 32 | 6.465 % | c | 250 | 2069 5405 92839 | 6050 250 27 | 6.465 % | c | 477 | 2069 5405 92839 | 6655 477 28 | 6.465 % | c | 814 | 2069 5405 92839 | 7320 814 33 | 6.465 % | c | 1325 | 2069 5405 92839 | 8052 1325 42 | 6.465 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2431 5407 127754 | 5000 0 nan | 0.000 % | c | 100 | 2431 5407 127754 | 5500 100 22 | 3.230 % | c | 250 | 2431 5407 127754 | 6050 250 30 | 3.230 % | c | 477 | 2431 5407 127754 | 6655 477 44 | 3.230 % | c | 814 | 2427 5407 127754 | 7320 813 52 | 3.230 % | c | 1335 | 2425 5407 127754 | 8052 1332 62 | 3.309 % | c | 2094 | 2425 5407 127754 | 8857 2091 63 | 3.309 % | c | 3237 | 2425 5407 127754 | 9743 3234 72 | 3.309 % | c | 4945 | 2425 5407 127754 | 10717 4942 78 | 3.309 % | c | 7521 | 2425 5407 127754 | 11789 7518 85 | 3.309 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2833 5412 144109 | 5000 0 nan | 0.000 % | c | 102 | 2833 5412 144109 | 5500 102 42 | 1.632 % | c | 256 | 2833 5412 144109 | 6050 256 43 | 1.632 % | c | 481 | 2833 5412 144109 | 6655 481 55 | 1.632 % | c | 820 | 2833 5412 144109 | 7320 820 48 | 1.632 % | c | 1328 | 2833 5412 144109 | 8052 1328 49 | 1.632 % | c | 2087 | 2833 5412 144109 | 8857 2087 53 | 1.632 % | c | 3228 | 2833 5412 144109 | 9743 3228 59 | 1.632 % | c | 4939 | 2833 5412 144109 | 10717 4939 65 | 1.632 % | c | 7509 | 2833 5412 144109 | 11789 7509 75 | 1.632 % | c | 11353 | 2833 5412 144109 | 12968 11353 91 | 1.632 % | c | 17119 | 2833 5412 144109 | 14265 10395 115 | 1.632 % | c | 25768 | 2833 5412 144109 | 15692 11672 118 | 1.632 % | c | 38745 | 2833 5412 144109 | 17261 8676 105 | 1.632 % | c | 58209 | 2833 5412 144109 | 18987 10468 150 | 1.632 % | c | 87403 | 2828 5412 144109 | 20886 10582 180 | 1.806 % |