c wbo 1.4 beta - 20100610 c | Number of variables: 637 | c | Number of clauses: 2105 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 637 | c | Number Clauses: 1468 | 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 | 371 1632 2679 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.153976 s Remaining CPU time: 179.846 s c =============================================================================== c | 24 | 370 1633 3170 | 5000 24 7 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s c =============================================================================== c | 33 | 370 1634 3661 | 5000 33 9 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s c =============================================================================== c | 35 | 370 1635 4152 | 5000 34 8 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s c =============================================================================== c | 39 | 370 1636 4643 | 5000 38 9 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 0.159975 s Remaining CPU time: 179.84 s c =============================================================================== c | 41 | 370 1637 5134 | 5000 40 9 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 0.161975 s Remaining CPU time: 179.838 s c =============================================================================== c | 41 | 370 1638 5625 | 5000 40 9 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s c =============================================================================== c | 41 | 370 1639 6116 | 5000 40 9 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.164974 s Remaining CPU time: 179.835 s c =============================================================================== c | 41 | 370 1640 6607 | 5000 40 9 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.167974 s Remaining CPU time: 179.832 s c =============================================================================== c | 41 | 370 1641 7098 | 5000 40 9 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.169974 s Remaining CPU time: 179.83 s c =============================================================================== c | 42 | 370 1642 7589 | 5000 41 16 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.172973 s Remaining CPU time: 179.827 s c =============================================================================== c | 42 | 370 1643 8080 | 5000 41 16 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.175973 s Remaining CPU time: 179.824 s c =============================================================================== c | 42 | 370 1644 8571 | 5000 41 16 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.178972 s Remaining CPU time: 179.821 s c =============================================================================== c | 42 | 370 1645 9062 | 5000 41 16 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.181972 s Remaining CPU time: 179.818 s c =============================================================================== c | 42 | 370 1646 9553 | 5000 41 16 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.183972 s Remaining CPU time: 179.816 s c =============================================================================== c | 42 | 370 1647 10044 | 5000 41 16 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.186971 s Remaining CPU time: 179.813 s c =============================================================================== c | 42 | 370 1648 10535 | 5000 41 16 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.19097 s Remaining CPU time: 179.809 s c =============================================================================== c | 42 | 370 1649 11026 | 5000 41 16 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.19497 s Remaining CPU time: 179.805 s c =============================================================================== c | 42 | 370 1650 11517 | 5000 41 16 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.198969 s Remaining CPU time: 179.801 s c =============================================================================== c | 42 | 370 1651 12008 | 5000 41 16 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s c =============================================================================== c | 42 | 370 1652 12499 | 5000 41 16 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.206968 s Remaining CPU time: 179.793 s c =============================================================================== c | 42 | 370 1653 12990 | 5000 41 16 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.210967 s Remaining CPU time: 179.789 s c =============================================================================== c | 42 | 370 1654 13481 | 5000 41 16 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.214967 s Remaining CPU time: 179.785 s c =============================================================================== c | 42 | 370 1655 13972 | 5000 41 16 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.218966 s Remaining CPU time: 179.781 s c =============================================================================== c | 42 | 370 1656 14463 | 5000 41 16 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.222966 s Remaining CPU time: 179.777 s c =============================================================================== c | 42 | 370 1657 14954 | 5000 41 16 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.226965 s Remaining CPU time: 179.773 s c =============================================================================== c | 42 | 370 1658 15445 | 5000 41 16 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.230964 s Remaining CPU time: 179.769 s c =============================================================================== c | 42 | 370 1659 15936 | 5000 41 16 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.234964 s Remaining CPU time: 179.765 s c =============================================================================== c | 42 | 370 1660 16427 | 5000 41 16 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.239963 s Remaining CPU time: 179.76 s c =============================================================================== c | 42 | 370 1661 16918 | 5000 41 16 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.244962 s Remaining CPU time: 179.755 s c =============================================================================== c | 42 | 370 1662 17409 | 5000 41 16 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.250961 s Remaining CPU time: 179.749 s c =============================================================================== c | 42 | 370 1663 17900 | 5000 41 16 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 0.254961 s Remaining CPU time: 179.745 s c =============================================================================== c | 42 | 370 1664 18391 | 5000 41 16 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 0.26196 s Remaining CPU time: 179.738 s c =============================================================================== c | 42 | 370 1665 18882 | 5000 41 16 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 0.266959 s Remaining CPU time: 179.733 s c =============================================================================== c | 42 | 370 1666 19373 | 5000 41 16 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.270958 s Remaining CPU time: 179.729 s c =============================================================================== c | 42 | 370 1667 19864 | 5000 41 16 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.276957 s Remaining CPU time: 179.723 s c =============================================================================== c | 42 | 370 1668 20355 | 5000 41 16 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.282956 s Remaining CPU time: 179.717 s c =============================================================================== c | 42 | 370 1669 20846 | 5000 41 16 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 0.288956 s Remaining CPU time: 179.711 s c =============================================================================== c | 42 | 370 1670 21337 | 5000 41 16 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 0.293955 s Remaining CPU time: 179.706 s c =============================================================================== c | 42 | 370 1671 21828 | 5000 41 16 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 0.299954 s Remaining CPU time: 179.7 s c =============================================================================== c | 42 | 370 1672 22319 | 5000 41 16 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 0.305953 s Remaining CPU time: 179.694 s c =============================================================================== c | 42 | 370 1673 22810 | 5000 41 16 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 0.313952 s Remaining CPU time: 179.686 s c =============================================================================== c | 42 | 370 1674 23301 | 5000 41 16 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 0.319951 s Remaining CPU time: 179.68 s c =============================================================================== c | 43 | 370 1675 23792 | 5000 42 22 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 0.32695 s Remaining CPU time: 179.673 s c =============================================================================== c | 43 | 370 1676 24283 | 5000 42 22 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 0.334949 s Remaining CPU time: 179.665 s c =============================================================================== c | 43 | 370 1677 24774 | 5000 42 22 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 0.340948 s Remaining CPU time: 179.659 s c =============================================================================== c | 43 | 370 1678 25265 | 5000 42 22 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 0.347947 s Remaining CPU time: 179.652 s c =============================================================================== c | 43 | 370 1679 25756 | 5000 42 22 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.354946 s Remaining CPU time: 179.645 s c =============================================================================== c | 43 | 370 1680 26247 | 5000 42 22 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.361944 s Remaining CPU time: 179.638 s c =============================================================================== c | 43 | 370 1681 26738 | 5000 42 22 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.368943 s Remaining CPU time: 179.631 s c =============================================================================== c | 43 | 370 1682 27229 | 5000 42 22 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.375942 s Remaining CPU time: 179.624 s c =============================================================================== c | 43 | 370 1683 27720 | 5000 42 22 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.382941 s Remaining CPU time: 179.617 s c =============================================================================== c | 43 | 370 1684 28211 | 5000 42 22 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.39094 s Remaining CPU time: 179.609 s c =============================================================================== c | 43 | 370 1685 28702 | 5000 42 22 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.398939 s Remaining CPU time: 179.601 s c =============================================================================== c | 43 | 370 1686 29193 | 5000 42 22 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.406938 s Remaining CPU time: 179.593 s c =============================================================================== c | 43 | 370 1687 29684 | 5000 42 22 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.415936 s Remaining CPU time: 179.584 s c =============================================================================== c | 43 | 370 1688 30175 | 5000 42 22 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.424935 s Remaining CPU time: 179.575 s c =============================================================================== c | 45 | 370 1689 30666 | 5000 44 33 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.432934 s Remaining CPU time: 179.567 s c =============================================================================== c | 45 | 370 1690 31157 | 5000 44 33 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.440932 s Remaining CPU time: 179.559 s c =============================================================================== c | 45 | 370 1691 31648 | 5000 44 33 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.448931 s Remaining CPU time: 179.551 s c =============================================================================== c | 45 | 370 1692 32139 | 5000 44 33 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.45693 s Remaining CPU time: 179.543 s c =============================================================================== c | 45 | 370 1693 32630 | 5000 44 33 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.465929 s Remaining CPU time: 179.534 s c =============================================================================== c | 45 | 370 1694 33121 | 5000 44 33 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.473927 s Remaining CPU time: 179.526 s c =============================================================================== c | 45 | 370 1695 33612 | 5000 44 33 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.480926 s Remaining CPU time: 179.519 s c =============================================================================== c | 45 | 370 1696 34103 | 5000 44 33 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.489925 s Remaining CPU time: 179.51 s c =============================================================================== c | 45 | 370 1697 34594 | 5000 44 33 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.499924 s Remaining CPU time: 179.5 s c =============================================================================== c | 46 | 369 1698 35085 | 5000 44 33 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.510922 s Remaining CPU time: 179.489 s c =============================================================================== c | 46 | 369 1699 35576 | 5000 44 33 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.52092 s Remaining CPU time: 179.479 s c =============================================================================== c | 46 | 369 1700 36067 | 5000 44 33 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.531919 s Remaining CPU time: 179.468 s c =============================================================================== c | 46 | 369 1701 36558 | 5000 44 33 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.541917 s Remaining CPU time: 179.458 s c =============================================================================== c | 46 | 369 1702 37049 | 5000 44 33 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.552915 s Remaining CPU time: 179.447 s c =============================================================================== c | 46 | 369 1703 37540 | 5000 44 33 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.563914 s Remaining CPU time: 179.436 s c =============================================================================== c | 46 | 369 1704 38031 | 5000 44 33 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.576912 s Remaining CPU time: 179.423 s c =============================================================================== c | 46 | 369 1705 38522 | 5000 44 33 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.58691 s Remaining CPU time: 179.413 s c =============================================================================== c | 46 | 369 1706 39013 | 5000 44 33 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.599908 s Remaining CPU time: 179.4 s c =============================================================================== c | 52 | 369 1707 39504 | 5000 50 35 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.607907 s Remaining CPU time: 179.392 s c =============================================================================== c | 52 | 369 1708 39995 | 5000 50 35 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.615906 s Remaining CPU time: 179.384 s c =============================================================================== c | 52 | 369 1709 40486 | 5000 50 35 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.622905 s Remaining CPU time: 179.377 s c =============================================================================== c | 52 | 369 1710 40977 | 5000 50 35 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.630904 s Remaining CPU time: 179.369 s c =============================================================================== c | 52 | 369 1711 41468 | 5000 50 35 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.637903 s Remaining CPU time: 179.362 s c =============================================================================== c | 52 | 369 1712 41959 | 5000 50 35 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.645901 s Remaining CPU time: 179.354 s c =============================================================================== c | 52 | 369 1713 42450 | 5000 50 35 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.6549 s Remaining CPU time: 179.345 s c =============================================================================== c | 53 | 369 1714 42941 | 5000 51 39 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.662899 s Remaining CPU time: 179.337 s c =============================================================================== c | 53 | 369 1715 43432 | 5000 51 39 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 0.670898 s Remaining CPU time: 179.329 s c =============================================================================== c | 53 | 369 1716 43923 | 5000 51 39 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 0.677896 s Remaining CPU time: 179.322 s c =============================================================================== c | 53 | 369 1717 44414 | 5000 51 39 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 0.685895 s Remaining CPU time: 179.314 s c =============================================================================== c | 53 | 369 1718 44905 | 5000 51 39 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 0.693894 s Remaining CPU time: 179.306 s c =============================================================================== c | 53 | 369 1719 45396 | 5000 51 39 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 0.702893 s Remaining CPU time: 179.297 s c =============================================================================== c | 54 | 369 1720 45887 | 5000 52 43 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 0.709892 s Remaining CPU time: 179.29 s c =============================================================================== c | 54 | 369 1721 46378 | 5000 52 43 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 0.71789 s Remaining CPU time: 179.282 s c =============================================================================== c | 54 | 369 1722 46869 | 5000 52 43 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 0.724889 s Remaining CPU time: 179.275 s c =============================================================================== c | 54 | 369 1723 47360 | 5000 52 43 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.732888 s Remaining CPU time: 179.267 s c =============================================================================== c | 55 | 369 1724 47851 | 5000 53 46 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.740887 s Remaining CPU time: 179.259 s c =============================================================================== c | 55 | 369 1725 48342 | 5000 53 46 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.748886 s Remaining CPU time: 179.251 s c =============================================================================== c | 55 | 369 1726 48833 | 5000 53 46 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.756884 s Remaining CPU time: 179.243 s c =============================================================================== c | 55 | 369 1727 49324 | 5000 53 46 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.764883 s Remaining CPU time: 179.235 s c =============================================================================== c | 55 | 369 1728 49815 | 5000 53 46 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 0.772882 s Remaining CPU time: 179.227 s c =============================================================================== c | 55 | 369 1729 50306 | 5000 53 46 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 0.779881 s Remaining CPU time: 179.22 s c =============================================================================== c | 55 | 369 1730 50797 | 5000 53 46 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 0.78788 s Remaining CPU time: 179.212 s c =============================================================================== c | 55 | 369 1731 51288 | 5000 53 46 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 0.794879 s Remaining CPU time: 179.205 s c =============================================================================== c | 55 | 369 1732 51779 | 5000 53 46 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 0.801878 s Remaining CPU time: 179.198 s c =============================================================================== c | 55 | 369 1733 52270 | 5000 53 46 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 0.809876 s Remaining CPU time: 179.19 s c =============================================================================== c | 55 | 369 1734 52761 | 5000 53 46 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 0.816875 s Remaining CPU time: 179.183 s c =============================================================================== c | 55 | 369 1735 53252 | 5000 53 46 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 0.824874 s Remaining CPU time: 179.175 s c =============================================================================== c | 55 | 369 1736 53743 | 5000 53 46 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 0.831873 s Remaining CPU time: 179.168 s c =============================================================================== c | 55 | 369 1737 54234 | 5000 53 46 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 0.838872 s Remaining CPU time: 179.161 s c =============================================================================== c | 55 | 369 1738 54725 | 5000 53 46 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 0.845871 s Remaining CPU time: 179.154 s c =============================================================================== c | 55 | 369 1739 55216 | 5000 53 46 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 0.85287 s Remaining CPU time: 179.147 s c =============================================================================== c | 55 | 369 1740 55707 | 5000 53 46 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 0.859869 s Remaining CPU time: 179.14 s c =============================================================================== c | 55 | 369 1741 56198 | 5000 53 46 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 0.866868 s Remaining CPU time: 179.133 s c =============================================================================== c | 55 | 369 1742 56689 | 5000 53 46 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 0.873867 s Remaining CPU time: 179.126 s c =============================================================================== c | 55 | 369 1743 57180 | 5000 53 46 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 0.880866 s Remaining CPU time: 179.119 s c =============================================================================== c | 55 | 369 1744 57671 | 5000 53 46 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 0.887865 s Remaining CPU time: 179.112 s c =============================================================================== c | 55 | 369 1745 58162 | 5000 53 46 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 0.893864 s Remaining CPU time: 179.106 s c =============================================================================== c | 55 | 369 1746 58653 | 5000 53 46 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 0.901862 s Remaining CPU time: 179.098 s c =============================================================================== c | 58 | 369 1747 59144 | 5000 56 54 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 0.908861 s Remaining CPU time: 179.091 s c =============================================================================== c | 59 | 369 1748 59635 | 5000 57 57 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 0.91586 s Remaining CPU time: 179.084 s c =============================================================================== c | 59 | 369 1749 60126 | 5000 57 57 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 0.922859 s Remaining CPU time: 179.077 s c =============================================================================== c | 59 | 369 1750 60617 | 5000 57 57 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 0.931858 s Remaining CPU time: 179.068 s c =============================================================================== c | 60 | 369 1751 61108 | 5000 58 59 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 0.939857 s Remaining CPU time: 179.06 s c =============================================================================== c | 61 | 369 1752 61599 | 5000 59 61 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 0.946856 s Remaining CPU time: 179.053 s c =============================================================================== c | 61 | 369 1753 62090 | 5000 59 61 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 0.953854 s Remaining CPU time: 179.046 s c =============================================================================== c | 62 | 369 1754 62581 | 5000 60 64 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 0.959854 s Remaining CPU time: 179.04 s c =============================================================================== c | 62 | 369 1755 63072 | 5000 60 64 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 0.966853 s Remaining CPU time: 179.033 s c =============================================================================== c | 63 | 369 1756 63563 | 5000 61 66 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 0.972852 s Remaining CPU time: 179.027 s c =============================================================================== c | 63 | 369 1757 64054 | 5000 61 66 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 0.993848 s Remaining CPU time: 179.006 s c =============================================================================== c | 74 | 369 1758 64545 | 5000 72 63 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 1.00185 s Remaining CPU time: 178.998 s c =============================================================================== c | 76 | 369 1759 65036 | 5000 74 63 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 1.00885 s Remaining CPU time: 178.991 s c =============================================================================== c | 76 | 369 1760 65527 | 5000 74 63 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 1.01585 s Remaining CPU time: 178.984 s c =============================================================================== c | 76 | 369 1761 66018 | 5000 74 63 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 1.02184 s Remaining CPU time: 178.978 s c =============================================================================== c | 76 | 369 1762 66509 | 5000 74 63 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 1.02784 s Remaining CPU time: 178.972 s c =============================================================================== c | 76 | 369 1763 67000 | 5000 74 63 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 1.03584 s Remaining CPU time: 178.964 s c =============================================================================== c | 77 | 369 1764 67491 | 5000 75 64 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 1.04284 s Remaining CPU time: 178.957 s c =============================================================================== c | 78 | 369 1765 67982 | 5000 76 66 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 1.04884 s Remaining CPU time: 178.951 s c =============================================================================== c | 78 | 369 1766 68473 | 5000 76 66 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 1.06384 s Remaining CPU time: 178.936 s c =============================================================================== c | 83 | 358 1767 68964 | 5000 81 67 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 1.07484 s Remaining CPU time: 178.925 s c =============================================================================== c | 84 | 358 1768 69455 | 5000 82 68 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 1.08384 s Remaining CPU time: 178.916 s c =============================================================================== c | 84 | 358 1769 69946 | 5000 82 68 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 1.09383 s Remaining CPU time: 178.906 s c =============================================================================== c | 84 | 358 1770 70437 | 5000 82 68 | 0.000 % | c =============================================================================== c Total CPU time: 1.15282 s