c wbo 1.4 beta - 20100610 c | Number of variables: 280 | c | Number of clauses: 709 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 625 | c | Number Clauses: 709 | 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 | 597 737 2793 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 0 | 597 738 3138 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 0 | 597 739 3483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 0 | 597 740 3828 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 0 | 597 741 4173 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 0 | 597 742 4518 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 597 743 4863 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 597 744 5208 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 597 745 5553 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 597 746 5898 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 597 747 6243 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 597 748 6588 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 597 749 6933 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 597 750 7278 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 597 751 7623 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 597 752 7968 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 597 753 8313 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 597 754 8658 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 597 755 9003 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 597 756 9348 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 597 757 9693 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 597 758 10038 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 597 759 10383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 597 760 10728 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 597 761 11073 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 597 762 11418 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 597 763 11763 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 597 764 12108 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 597 765 12453 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 597 766 12798 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 597 767 13143 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 597 768 13488 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 597 769 13833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 597 770 14178 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 597 771 14523 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 597 772 14868 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 597 773 15213 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 597 774 15558 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 597 775 15903 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 597 776 16248 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 0 | 597 777 16593 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 0 | 597 778 16938 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 597 779 17283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 0 | 597 780 17628 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 0 | 597 781 17973 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 0 | 597 782 18318 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 597 783 18663 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 0 | 597 784 19008 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 0 | 597 785 19353 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 0 | 597 786 19698 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 0 | 597 787 20043 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 0 | 597 788 20388 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 0 | 597 789 20733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 0 | 597 790 21078 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 0 | 597 791 21423 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 0 | 597 792 21768 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 0 | 597 793 22113 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s c =============================================================================== c | 0 | 597 794 22458 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 0 | 597 795 22803 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 0 | 597 796 23148 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 0 | 597 797 23493 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 0 | 597 798 23838 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 0 | 597 799 24183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 0 | 597 800 24528 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s c =============================================================================== c | 0 | 597 801 24873 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 0 | 597 802 25218 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 0 | 597 803 25563 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 0.123981 s Remaining CPU time: 179.876 s c =============================================================================== c | 0 | 597 804 25908 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s c =============================================================================== c | 0 | 597 805 26253 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 0.13098 s Remaining CPU time: 179.869 s c =============================================================================== c | 0 | 597 806 26598 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 0.133979 s Remaining CPU time: 179.866 s c =============================================================================== c | 0 | 597 807 26943 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s c =============================================================================== c | 0 | 597 808 27288 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 0 | 597 809 27633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 0.146977 s Remaining CPU time: 179.853 s c =============================================================================== c | 0 | 597 810 27978 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 0.150977 s Remaining CPU time: 179.849 s c =============================================================================== c | 0 | 597 811 28323 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 0.154976 s Remaining CPU time: 179.845 s c =============================================================================== c | 0 | 597 812 28668 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 0.158975 s Remaining CPU time: 179.841 s c =============================================================================== c | 0 | 597 813 29013 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 0.163975 s Remaining CPU time: 179.836 s c =============================================================================== c | 0 | 597 814 29358 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 0.167974 s Remaining CPU time: 179.832 s c =============================================================================== c | 0 | 597 815 29703 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 0.171973 s Remaining CPU time: 179.828 s c =============================================================================== c | 0 | 597 816 30048 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 0.175973 s Remaining CPU time: 179.824 s c =============================================================================== c | 0 | 597 817 30393 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 0.179972 s Remaining CPU time: 179.82 s c =============================================================================== c | 0 | 597 818 30738 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 0.184971 s Remaining CPU time: 179.815 s c =============================================================================== c | 0 | 597 819 31083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 0.188971 s Remaining CPU time: 179.811 s c =============================================================================== c | 0 | 597 820 31428 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 0.19297 s Remaining CPU time: 179.807 s c =============================================================================== c | 0 | 597 821 31773 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 0.197969 s Remaining CPU time: 179.802 s c =============================================================================== c | 0 | 597 822 32118 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 0.201969 s Remaining CPU time: 179.798 s c =============================================================================== c | 0 | 597 823 32463 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 0.205968 s Remaining CPU time: 179.794 s c =============================================================================== c | 0 | 597 824 32808 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 0.210967 s Remaining CPU time: 179.789 s c =============================================================================== c | 0 | 597 825 33153 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 0.214967 s Remaining CPU time: 179.785 s c =============================================================================== c | 0 | 597 826 33498 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 0.219966 s Remaining CPU time: 179.78 s c =============================================================================== c | 0 | 597 827 33843 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 0.224965 s Remaining CPU time: 179.775 s c =============================================================================== c | 0 | 597 828 34188 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 0.229965 s Remaining CPU time: 179.77 s c =============================================================================== c | 0 | 597 829 34533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 0.234964 s Remaining CPU time: 179.765 s c =============================================================================== c | 0 | 597 830 34878 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 0.239963 s Remaining CPU time: 179.76 s c =============================================================================== c | 0 | 597 831 35223 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 0.245962 s Remaining CPU time: 179.754 s c =============================================================================== c | 0 | 597 832 35568 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 0.249962 s Remaining CPU time: 179.75 s c =============================================================================== c | 0 | 597 833 35913 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 0.255961 s Remaining CPU time: 179.744 s c =============================================================================== c | 0 | 597 834 36258 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 0.26096 s Remaining CPU time: 179.739 s c =============================================================================== c | 0 | 597 835 36603 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 0.266959 s Remaining CPU time: 179.733 s c =============================================================================== c | 0 | 597 836 36948 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 0.271958 s Remaining CPU time: 179.728 s c =============================================================================== c | 0 | 597 837 37293 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 0.277957 s Remaining CPU time: 179.722 s c =============================================================================== c | 0 | 597 838 37638 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 0.283956 s Remaining CPU time: 179.716 s c =============================================================================== c | 0 | 597 839 37983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 0.287956 s Remaining CPU time: 179.712 s c =============================================================================== c | 0 | 597 840 38328 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 0.292955 s Remaining CPU time: 179.707 s c =============================================================================== c | 0 | 597 841 38673 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 0.298954 s Remaining CPU time: 179.701 s c =============================================================================== c | 0 | 597 842 39018 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 0.304953 s Remaining CPU time: 179.695 s c =============================================================================== c | 0 | 597 843 39363 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 0.309952 s Remaining CPU time: 179.69 s c =============================================================================== c | 0 | 597 844 39708 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 0.314952 s Remaining CPU time: 179.685 s c =============================================================================== c | 0 | 597 845 40053 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 0.318951 s Remaining CPU time: 179.681 s c =============================================================================== c | 0 | 597 846 40398 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 0.32495 s Remaining CPU time: 179.675 s c =============================================================================== c | 0 | 597 847 40743 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 0.330949 s Remaining CPU time: 179.669 s c =============================================================================== c | 0 | 597 848 41088 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 0.336948 s Remaining CPU time: 179.663 s c =============================================================================== c | 0 | 597 849 41433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 0.341948 s Remaining CPU time: 179.658 s c =============================================================================== c | 0 | 597 850 41778 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 0.347947 s Remaining CPU time: 179.652 s c =============================================================================== c | 0 | 597 851 42123 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 0.353946 s Remaining CPU time: 179.646 s c =============================================================================== c | 0 | 597 852 42468 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 0.359945 s Remaining CPU time: 179.64 s c =============================================================================== c | 0 | 597 853 42813 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 0.365944 s Remaining CPU time: 179.634 s c =============================================================================== c | 0 | 597 854 43158 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 0.372943 s Remaining CPU time: 179.627 s c =============================================================================== c | 0 | 597 855 43503 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 227 c Elapsed CPU time: 0.378942 s Remaining CPU time: 179.621 s c =============================================================================== c | 0 | 597 856 43848 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 226 c Elapsed CPU time: 0.385941 s Remaining CPU time: 179.614 s c =============================================================================== c | 0 | 597 857 44193 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 225 c Elapsed CPU time: 0.39194 s Remaining CPU time: 179.608 s c =============================================================================== c | 0 | 597 858 44538 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 224 c Elapsed CPU time: 0.398939 s Remaining CPU time: 179.601 s c =============================================================================== c | 0 | 597 859 44883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 223 c Elapsed CPU time: 0.404938 s Remaining CPU time: 179.595 s c =============================================================================== c | 1 | 597 860 45228 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 222 c Elapsed CPU time: 0.410937 s Remaining CPU time: 179.589 s c =============================================================================== c | 1 | 597 861 45573 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 221 c Elapsed CPU time: 0.416936 s Remaining CPU time: 179.583 s c =============================================================================== c | 1 | 597 862 45918 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 220 c Elapsed CPU time: 0.423935 s Remaining CPU time: 179.576 s c =============================================================================== c | 1 | 597 863 46263 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 219 c Elapsed CPU time: 0.431934 s Remaining CPU time: 179.568 s c =============================================================================== c | 1 | 597 864 46608 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 218 c Elapsed CPU time: 0.438933 s Remaining CPU time: 179.561 s c =============================================================================== c | 1 | 597 865 46953 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 217 c Elapsed CPU time: 0.445932 s Remaining CPU time: 179.554 s c =============================================================================== c | 1 | 597 866 47298 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 216 c Elapsed CPU time: 0.452931 s Remaining CPU time: 179.547 s c =============================================================================== c | 1 | 597 867 47643 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 215 c Elapsed CPU time: 0.45893 s Remaining CPU time: 179.541 s c =============================================================================== c | 1 | 597 868 47988 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 214 c Elapsed CPU time: 0.466929 s Remaining CPU time: 179.533 s c =============================================================================== c | 1 | 597 869 48333 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 213 c Elapsed CPU time: 0.473927 s Remaining CPU time: 179.526 s c =============================================================================== c | 1 | 597 870 48678 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 212 c Elapsed CPU time: 0.481926 s Remaining CPU time: 179.518 s c =============================================================================== c | 1 | 597 871 49023 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 211 c Elapsed CPU time: 0.488925 s Remaining CPU time: 179.511 s c =============================================================================== c | 1 | 597 872 49368 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 210 c Elapsed CPU time: 0.496924 s Remaining CPU time: 179.503 s c =============================================================================== c | 1 | 597 873 49713 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 209 c Elapsed CPU time: 0.503923 s Remaining CPU time: 179.496 s c =============================================================================== c | 1 | 597 874 50058 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 208 c Elapsed CPU time: 0.511922 s Remaining CPU time: 179.488 s c =============================================================================== c | 1 | 597 875 50403 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 207 c Elapsed CPU time: 0.51992 s Remaining CPU time: 179.48 s c =============================================================================== c | 1 | 597 876 50748 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 206 c Elapsed CPU time: 0.526919 s Remaining CPU time: 179.473 s c =============================================================================== c | 1 | 597 877 51093 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 205 c Elapsed CPU time: 0.534918 s Remaining CPU time: 179.465 s c =============================================================================== c | 1 | 597 878 51438 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 204 c Elapsed CPU time: 0.543917 s Remaining CPU time: 179.456 s c =============================================================================== c | 1 | 597 879 51783 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 203 c Elapsed CPU time: 0.551916 s Remaining CPU time: 179.448 s c =============================================================================== c | 1 | 597 880 52128 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 202 c Elapsed CPU time: 0.560914 s Remaining CPU time: 179.439 s c =============================================================================== c | 1 | 597 881 52473 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 201 c Elapsed CPU time: 0.569913 s Remaining CPU time: 179.43 s c =============================================================================== c | 1 | 597 882 52818 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 200 c Elapsed CPU time: 0.577912 s Remaining CPU time: 179.422 s c =============================================================================== c | 1 | 597 883 53163 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 199 c Elapsed CPU time: 0.58691 s Remaining CPU time: 179.413 s c =============================================================================== c | 1 | 597 884 53508 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 198 c Elapsed CPU time: 0.595909 s Remaining CPU time: 179.404 s c =============================================================================== c | 1 | 597 885 53853 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 197 c Elapsed CPU time: 0.605907 s Remaining CPU time: 179.394 s c =============================================================================== c | 1 | 597 886 54198 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 196 c Elapsed CPU time: 0.614906 s Remaining CPU time: 179.385 s c =============================================================================== c | 1 | 597 887 54543 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 195 c Elapsed CPU time: 0.623905 s Remaining CPU time: 179.376 s c =============================================================================== c | 1 | 597 888 54888 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 194 c Elapsed CPU time: 0.631903 s Remaining CPU time: 179.368 s c =============================================================================== c | 1 | 597 889 55233 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 193 c Elapsed CPU time: 0.639902 s Remaining CPU time: 179.36 s c =============================================================================== c | 1 | 597 890 55578 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 192 c Elapsed CPU time: 0.647901 s Remaining CPU time: 179.352 s c =============================================================================== c | 1 | 597 891 55923 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 191 c Elapsed CPU time: 0.6559 s Remaining CPU time: 179.344 s c =============================================================================== c | 1 | 597 892 56268 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 190 c Elapsed CPU time: 0.664898 s Remaining CPU time: 179.335 s c =============================================================================== c | 1 | 597 893 56613 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 189 c Elapsed CPU time: 0.672897 s Remaining CPU time: 179.327 s c =============================================================================== c | 1 | 597 894 56958 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 188 c Elapsed CPU time: 0.681896 s Remaining CPU time: 179.318 s c =============================================================================== c | 1 | 597 895 57303 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 187 c Elapsed CPU time: 0.689895 s Remaining CPU time: 179.31 s c =============================================================================== c | 1 | 597 896 57648 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 186 c Elapsed CPU time: 0.698893 s Remaining CPU time: 179.301 s c =============================================================================== c | 1 | 597 897 57993 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 185 c Elapsed CPU time: 0.706892 s Remaining CPU time: 179.293 s c =============================================================================== c | 1 | 597 898 58338 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 184 c Elapsed CPU time: 0.713891 s Remaining CPU time: 179.286 s c =============================================================================== c | 1 | 597 899 58683 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 183 c Elapsed CPU time: 0.72289 s Remaining CPU time: 179.277 s c =============================================================================== c | 1 | 597 900 59028 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 182 c Elapsed CPU time: 0.731888 s Remaining CPU time: 179.268 s c =============================================================================== c | 1 | 597 901 59373 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 181 c Elapsed CPU time: 0.740887 s Remaining CPU time: 179.259 s c =============================================================================== c | 1 | 597 902 59718 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 180 c Elapsed CPU time: 0.748886 s Remaining CPU time: 179.251 s c =============================================================================== c | 3 | 597 903 60063 | 5000 3 65 | 0.000 % | c =============================================================================== c New solution: 179 c Elapsed CPU time: 0.757884 s Remaining CPU time: 179.242 s c =============================================================================== c | 3 | 597 904 60408 | 5000 3 65 | 0.000 % | c =============================================================================== c New solution: 178 c Elapsed CPU time: 0.765883 s Remaining CPU time: 179.234 s c =============================================================================== c | 3 | 597 905 60753 | 5000 3 65 | 0.000 % | c =============================================================================== c New solution: 177 c Elapsed CPU time: 0.771882 s Remaining CPU time: 179.228 s c =============================================================================== c | 3 | 597 906 61098 | 5000 3 65 | 0.000 % | c =============================================================================== c New solution: 176 c Elapsed CPU time: 0.780881 s Remaining CPU time: 179.219 s c =============================================================================== c | 3 | 597 907 61443 | 5000 3 65 | 0.000 % | c =============================================================================== c New solution: 175 c Elapsed CPU time: 0.789879 s Remaining CPU time: 179.21 s c =============================================================================== c | 3 | 597 908 61788 | 5000 3 65 | 0.000 % | c =============================================================================== c New solution: 174 c Elapsed CPU time: 0.798878 s Remaining CPU time: 179.201 s c =============================================================================== c | 3 | 597 909 62133 | 5000 3 65 | 0.000 % | c =============================================================================== c New solution: 173 c Elapsed CPU time: 0.807877 s Remaining CPU time: 179.192 s c =============================================================================== c | 3 | 597 910 62478 | 5000 3 65 | 0.000 % | c =============================================================================== c New solution: 172 c Elapsed CPU time: 0.816875 s Remaining CPU time: 179.183 s c =============================================================================== c | 4 | 597 911 62823 | 5000 4 50 | 0.000 % | c =============================================================================== c New solution: 171 c Elapsed CPU time: 0.825874 s Remaining CPU time: 179.174 s c =============================================================================== c | 5 | 597 912 63168 | 5000 5 41 | 0.000 % | c =============================================================================== c New solution: 170 c Elapsed CPU time: 0.834873 s Remaining CPU time: 179.165 s c =============================================================================== c | 5 | 597 913 63513 | 5000 5 41 | 0.000 % | c =============================================================================== c New solution: 169 c Elapsed CPU time: 0.843871 s Remaining CPU time: 179.156 s c =============================================================================== c | 5 | 597 914 63858 | 5000 5 41 | 0.000 % | c =============================================================================== c New solution: 168 c Elapsed CPU time: 0.85387 s Remaining CPU time: 179.146 s c =============================================================================== c | 5 | 597 915 64203 | 5000 5 41 | 0.000 % | c =============================================================================== c New solution: 167 c Elapsed CPU time: 0.863868 s Remaining CPU time: 179.136 s c =============================================================================== c | 5 | 597 916 64548 | 5000 5 41 | 0.000 % | c =============================================================================== c New solution: 166 c Elapsed CPU time: 0.872867 s Remaining CPU time: 179.127 s c =============================================================================== c | 5 | 597 917 64893 | 5000 5 41 | 0.000 % | c =============================================================================== c New solution: 165 c Elapsed CPU time: 0.882865 s Remaining CPU time: 179.117 s c =============================================================================== c | 5 | 597 918 65238 | 5000 5 41 | 0.000 % | c =============================================================================== c New solution: 164 c Elapsed CPU time: 0.892864 s Remaining CPU time: 179.107 s c =============================================================================== c | 5 | 597 919 65583 | 5000 5 41 | 0.000 % | c =============================================================================== c New solution: 163 c Elapsed CPU time: 0.902862 s Remaining CPU time: 179.097 s c =============================================================================== c | 5 | 597 920 65928 | 5000 5 41 | 0.000 % | c =============================================================================== c New solution: 162 c Elapsed CPU time: 0.911861 s Remaining CPU time: 179.088 s c =============================================================================== c | 5 | 597 921 66273 | 5000 5 41 | 0.000 % | c =============================================================================== c New solution: 161 c Elapsed CPU time: 0.92086 s Remaining CPU time: 179.079 s c =============================================================================== c | 5 | 597 922 66618 | 5000 5 41 | 0.000 % | c =============================================================================== c New solution: 160 c Elapsed CPU time: 0.930858 s Remaining CPU time: 179.069 s c =============================================================================== c | 6 | 597 923 66963 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 159 c Elapsed CPU time: 0.940856 s Remaining CPU time: 179.059 s c =============================================================================== c | 6 | 597 924 67308 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 158 c Elapsed CPU time: 0.950855 s Remaining CPU time: 179.049 s c =============================================================================== c | 6 | 597 925 67653 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 157 c Elapsed CPU time: 0.960853 s Remaining CPU time: 179.039 s c =============================================================================== c | 6 | 597 926 67998 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 156 c Elapsed CPU time: 0.970852 s Remaining CPU time: 179.029 s c =============================================================================== c | 6 | 597 927 68343 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 155 c Elapsed CPU time: 0.98085 s Remaining CPU time: 179.019 s c =============================================================================== c | 6 | 597 928 68688 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 154 c Elapsed CPU time: 0.991849 s Remaining CPU time: 179.008 s c =============================================================================== c | 6 | 597 929 69033 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 153 c Elapsed CPU time: 1.00185 s Remaining CPU time: 178.998 s c =============================================================================== c | 6 | 597 930 69378 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 152 c Elapsed CPU time: 1.01185 s Remaining CPU time: 178.988 s c =============================================================================== c | 6 | 597 931 69723 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 151 c Elapsed CPU time: 1.02184 s Remaining CPU time: 178.978 s c =============================================================================== c | 6 | 597 932 70068 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 150 c Elapsed CPU time: 1.03084 s Remaining CPU time: 178.969 s c =============================================================================== c | 6 | 597 933 70413 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 149 c Elapsed CPU time: 1.04084 s Remaining CPU time: 178.959 s c =============================================================================== c | 6 | 597 934 70758 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 148 c Elapsed CPU time: 1.05084 s Remaining CPU time: 178.949 s c =============================================================================== c | 6 | 597 935 71103 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 147 c Elapsed CPU time: 1.06184 s Remaining CPU time: 178.938 s c =============================================================================== c | 6 | 597 936 71448 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 146 c Elapsed CPU time: 1.07184 s Remaining CPU time: 178.928 s c =============================================================================== c | 6 | 597 937 71793 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 145 c Elapsed CPU time: 1.08283 s Remaining CPU time: 178.917 s c =============================================================================== c | 6 | 597 938 72138 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 144 c Elapsed CPU time: 1.09283 s Remaining CPU time: 178.907 s c =============================================================================== c | 6 | 597 939 72483 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 143 c Elapsed CPU time: 1.10283 s Remaining CPU time: 178.897 s c =============================================================================== c | 6 | 597 940 72828 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 142 c Elapsed CPU time: 1.11383 s Remaining CPU time: 178.886 s c =============================================================================== c | 6 | 597 941 73173 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 141 c Elapsed CPU time: 1.12383 s Remaining CPU time: 178.876 s c =============================================================================== c | 6 | 597 942 73518 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 140 c Elapsed CPU time: 1.13383 s Remaining CPU time: 178.866 s c =============================================================================== c | 6 | 597 943 73863 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 139 c Elapsed CPU time: 1.14482 s Remaining CPU time: 178.855 s c =============================================================================== c | 7 | 597 944 74208 | 5000 7 30 | 0.000 % | c =============================================================================== c New solution: 138 c Elapsed CPU time: 1.15582 s Remaining CPU time: 178.844 s c =============================================================================== c | 7 | 597 945 74553 | 5000 7 30 | 0.000 % | c =============================================================================== c New solution: 137 c Elapsed CPU time: 1.16582 s Remaining CPU time: 178.834 s c =============================================================================== c | 7 | 597 946 74898 | 5000 7 30 | 0.000 % | c =============================================================================== c New solution: 136 c Elapsed CPU time: 1.17682 s Remaining CPU time: 178.823 s c =============================================================================== c | 7 | 597 947 75243 | 5000 7 30 | 0.000 % | c =============================================================================== c New solution: 135 c Elapsed CPU time: 1.18782 s Remaining CPU time: 178.812 s c =============================================================================== c | 7 | 597 948 75588 | 5000 7 30 | 0.000 % | c =============================================================================== c New solution: 134 c Elapsed CPU time: 1.19882 s Remaining CPU time: 178.801 s c =============================================================================== c | 7 | 597 949 75933 | 5000 7 30 | 0.000 % | c =============================================================================== c New solution: 133 c Elapsed CPU time: 1.20982 s Remaining CPU time: 178.79 s c =============================================================================== c | 7 | 597 950 76278 | 5000 7 30 | 0.000 % | c =============================================================================== c New solution: 132 c Elapsed CPU time: 1.22081 s Remaining CPU time: 178.779 s c =============================================================================== c | 8 | 597 951 76623 | 5000 8 27 | 0.000 % | c =============================================================================== c New solution: 131 c Elapsed CPU time: 1.23081 s Remaining CPU time: 178.769 s c =============================================================================== c | 8 | 597 952 76968 | 5000 8 27 | 0.000 % | c =============================================================================== c New solution: 130 c Elapsed CPU time: 1.24181 s Remaining CPU time: 178.758 s c =============================================================================== c | 8 | 597 953 77313 | 5000 8 27 | 0.000 % | c =============================================================================== c New solution: 129 c Elapsed CPU time: 1.25181 s Remaining CPU time: 178.748 s c =============================================================================== c | 8 | 597 954 77658 | 5000 8 27 | 0.000 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 1.26181 s Remaining CPU time: 178.738 s c =============================================================================== c | 8 | 597 955 78003 | 5000 8 27 | 0.000 % | c =============================================================================== c New solution: 127 c Elapsed CPU time: 1.27281 s Remaining CPU time: 178.727 s c =============================================================================== c | 8 | 597 956 78348 | 5000 8 27 | 0.000 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 1.2828 s Remaining CPU time: 178.717 s c =============================================================================== c | 9 | 597 957 78693 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 1.2938 s Remaining CPU time: 178.706 s c =============================================================================== c | 9 | 597 958 79038 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 1.3038 s Remaining CPU time: 178.696 s c =============================================================================== c | 9 | 597 959 79383 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 1.3138 s Remaining CPU time: 178.686 s c =============================================================================== c | 9 | 597 960 79728 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 1.3238 s Remaining CPU time: 178.676 s c =============================================================================== c | 9 | 597 961 80073 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 1.3338 s Remaining CPU time: 178.666 s c =============================================================================== c | 9 | 597 962 80418 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 1.34479 s Remaining CPU time: 178.655 s c =============================================================================== c | 9 | 597 963 80763 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 1.35579 s Remaining CPU time: 178.644 s c =============================================================================== c | 9 | 597 964 81108 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 1.36679 s Remaining CPU time: 178.633 s c =============================================================================== c | 9 | 597 965 81453 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 1.37679 s Remaining CPU time: 178.623 s c =============================================================================== c | 9 | 597 966 81798 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 1.38779 s Remaining CPU time: 178.612 s c =============================================================================== c | 9 | 597 967 82143 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 1.39879 s Remaining CPU time: 178.601 s c =============================================================================== c | 9 | 597 968 82488 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 114 c Elapsed CPU time: 1.40878 s Remaining CPU time: 178.591 s c =============================================================================== c | 9 | 597 969 82833 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 1.41878 s Remaining CPU time: 178.581 s c =============================================================================== c | 9 | 597 970 83178 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 112 c Elapsed CPU time: 1.42978 s Remaining CPU time: 178.57 s c =============================================================================== c | 9 | 597 971 83523 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 111 c Elapsed CPU time: 1.44078 s Remaining CPU time: 178.559 s c =============================================================================== c | 9 | 597 972 83868 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 110 c Elapsed CPU time: 1.45078 s Remaining CPU time: 178.549 s c =============================================================================== c | 9 | 597 973 84213 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 109 c Elapsed CPU time: 1.45978 s Remaining CPU time: 178.54 s c =============================================================================== c | 9 | 597 974 84558 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 1.47078 s Remaining CPU time: 178.529 s c =============================================================================== c | 9 | 597 975 84903 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 107 c Elapsed CPU time: 1.48177 s Remaining CPU time: 178.518 s c =============================================================================== c | 9 | 597 976 85248 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 106 c Elapsed CPU time: 1.49377 s Remaining CPU time: 178.506 s c =============================================================================== c | 9 | 597 977 85593 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 105 c Elapsed CPU time: 1.50477 s Remaining CPU time: 178.495 s c =============================================================================== c | 9 | 597 978 85938 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 104 c Elapsed CPU time: 1.51577 s Remaining CPU time: 178.484 s c =============================================================================== c | 9 | 597 979 86283 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 103 c Elapsed CPU time: 1.52677 s Remaining CPU time: 178.473 s c =============================================================================== c | 9 | 597 980 86628 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 102 c Elapsed CPU time: 1.53677 s Remaining CPU time: 178.463 s c =============================================================================== c | 9 | 597 981 86973 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 101 c Elapsed CPU time: 1.54776 s Remaining CPU time: 178.452 s c =============================================================================== c | 9 | 597 982 87318 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 100 c Elapsed CPU time: 1.55776 s Remaining CPU time: 178.442 s c =============================================================================== c | 9 | 597 983 87663 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 99 c Elapsed CPU time: 1.56876 s Remaining CPU time: 178.431 s c =============================================================================== c | 9 | 597 984 88008 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 98 c Elapsed CPU time: 1.57976 s Remaining CPU time: 178.42 s c =============================================================================== c | 9 | 597 985 88353 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 97 c Elapsed CPU time: 1.58976 s Remaining CPU time: 178.41 s c =============================================================================== c | 9 | 597 986 88698 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 96 c Elapsed CPU time: 1.60076 s Remaining CPU time: 178.399 s c =============================================================================== c | 9 | 597 987 89043 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 95 c Elapsed CPU time: 1.61076 s Remaining CPU time: 178.389 s c =============================================================================== c | 9 | 597 988 89388 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 94 c Elapsed CPU time: 1.62175 s Remaining CPU time: 178.378 s c =============================================================================== c | 9 | 597 989 89733 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 93 c Elapsed CPU time: 1.63175 s Remaining CPU time: 178.368 s c =============================================================================== c | 9 | 597 990 90078 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 92 c Elapsed CPU time: 1.64175 s Remaining CPU time: 178.358 s c =============================================================================== c | 9 | 597 991 90423 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 91 c Elapsed CPU time: 1.65175 s Remaining CPU time: 178.348 s c =============================================================================== c | 9 | 597 992 90768 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 90 c Elapsed CPU time: 1.66275 s Remaining CPU time: 178.337 s c =============================================================================== c | 9 | 597 993 91113 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 89 c Elapsed CPU time: 1.67274 s Remaining CPU time: 178.327 s c =============================================================================== c | 9 | 597 994 91458 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 88 c Elapsed CPU time: 1.68274 s Remaining CPU time: 178.317 s c =============================================================================== c | 9 | 597 995 91803 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 87 c Elapsed CPU time: 1.69274 s Remaining CPU time: 178.307 s c =============================================================================== c | 9 | 597 996 92148 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 86 c Elapsed CPU time: 1.70374 s Remaining CPU time: 178.296 s c =============================================================================== c | 9 | 597 997 92493 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 1.71374 s Remaining CPU time: 178.286 s c =============================================================================== c | 9 | 597 998 92838 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 1.72374 s Remaining CPU time: 178.276 s c =============================================================================== c | 9 | 597 999 93183 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 1.73374 s Remaining CPU time: 178.266 s c =============================================================================== c | 9 | 597 1000 93528 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 1.74373 s Remaining CPU time: 178.256 s c =============================================================================== c | 9 | 597 1001 93873 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 1.75373 s Remaining CPU time: 178.246 s c =============================================================================== c | 9 | 597 1002 94218 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 1.76373 s Remaining CPU time: 178.236 s c =============================================================================== c | 9 | 597 1003 94563 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 1.77373 s Remaining CPU time: 178.226 s c =============================================================================== c | 9 | 597 1004 94908 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 1.78273 s Remaining CPU time: 178.217 s c =============================================================================== c | 9 | 597 1005 95253 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 1.79273 s Remaining CPU time: 178.207 s c =============================================================================== c | 9 | 597 1006 95598 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 1.80273 s Remaining CPU time: 178.197 s c =============================================================================== c | 9 | 597 1007 95943 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 1.81172 s Remaining CPU time: 178.188 s c =============================================================================== c | 9 | 597 1008 96288 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 1.82172 s Remaining CPU time: 178.178 s c =============================================================================== c | 9 | 597 1009 96633 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 1.83072 s Remaining CPU time: 178.169 s c =============================================================================== c | 9 | 597 1010 96978 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 1.84072 s Remaining CPU time: 178.159 s c =============================================================================== c | 9 | 597 1011 97323 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 1.84972 s Remaining CPU time: 178.15 s c =============================================================================== c | 9 | 597 1012 97668 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 1.85872 s Remaining CPU time: 178.141 s c =============================================================================== c | 9 | 597 1013 98013 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 1.86772 s Remaining CPU time: 178.132 s c =============================================================================== c | 9 | 597 1014 98358 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 1.87671 s Remaining CPU time: 178.123 s c =============================================================================== c | 9 | 597 1015 98703 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 1.88571 s Remaining CPU time: 178.114 s c =============================================================================== c | 9 | 597 1016 99048 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 1.89571 s Remaining CPU time: 178.104 s c =============================================================================== c | 9 | 597 1017 99393 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 1.90471 s Remaining CPU time: 178.095 s c =============================================================================== c | 9 | 597 1018 99738 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 1.91371 s Remaining CPU time: 178.086 s c =============================================================================== c | 9 | 597 1019 100083 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 1.92271 s Remaining CPU time: 178.077 s c =============================================================================== c | 9 | 597 1020 100428 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 1.93171 s Remaining CPU time: 178.068 s c =============================================================================== c | 9 | 597 1021 100773 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 1.9407 s Remaining CPU time: 178.059 s c =============================================================================== c | 9 | 597 1022 101118 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 1.9497 s Remaining CPU time: 178.05 s c =============================================================================== c | 9 | 597 1023 101463 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 1.9587 s Remaining CPU time: 178.041 s c =============================================================================== c | 9 | 597 1024 101808 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 1.9667 s Remaining CPU time: 178.033 s c =============================================================================== c | 9 | 597 1025 102153 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 1.9747 s Remaining CPU time: 178.025 s c =============================================================================== c | 9 | 597 1026 102498 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 1.9837 s Remaining CPU time: 178.016 s c =============================================================================== c | 9 | 597 1027 102843 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 55 c Elapsed CPU time: 1.9917 s Remaining CPU time: 178.008 s c =============================================================================== c | 9 | 597 1028 103188 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 54 c Elapsed CPU time: 2.00069 s Remaining CPU time: 177.999 s c =============================================================================== c | 9 | 597 1029 103533 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 53 c Elapsed CPU time: 2.00869 s Remaining CPU time: 177.991 s c =============================================================================== c | 9 | 597 1030 103878 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 52 c Elapsed CPU time: 2.01569 s Remaining CPU time: 177.984 s c =============================================================================== c | 9 | 597 1031 104223 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 51 c Elapsed CPU time: 2.02369 s Remaining CPU time: 177.976 s c =============================================================================== c | 9 | 597 1032 104568 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 50 c Elapsed CPU time: 2.03169 s Remaining CPU time: 177.968 s c =============================================================================== c | 9 | 597 1033 104913 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 49 c Elapsed CPU time: 2.03869 s Remaining CPU time: 177.961 s c =============================================================================== c | 9 | 597 1034 105258 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 48 c Elapsed CPU time: 2.04769 s Remaining CPU time: 177.952 s c =============================================================================== c | 9 | 597 1035 105603 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 47 c Elapsed CPU time: 2.05469 s Remaining CPU time: 177.945 s c =============================================================================== c | 9 | 597 1036 105948 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 46 c Elapsed CPU time: 2.06369 s Remaining CPU time: 177.936 s c =============================================================================== c | 9 | 597 1037 106293 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 45 c Elapsed CPU time: 2.07069 s Remaining CPU time: 177.929 s c =============================================================================== c | 9 | 597 1038 106638 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 44 c Elapsed CPU time: 2.07968 s Remaining CPU time: 177.92 s c =============================================================================== c | 9 | 597 1039 106983 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 43 c Elapsed CPU time: 2.08668 s Remaining CPU time: 177.913 s c =============================================================================== c | 9 | 597 1040 107328 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 42 c Elapsed CPU time: 2.09468 s Remaining CPU time: 177.905 s c =============================================================================== c | 9 | 597 1041 107673 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 41 c Elapsed CPU time: 2.10268 s Remaining CPU time: 177.897 s c =============================================================================== c | 9 | 597 1042 108018 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 40 c Elapsed CPU time: 2.10968 s Remaining CPU time: 177.89 s c =============================================================================== c | 9 | 597 1043 108363 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 39 c Elapsed CPU time: 2.11668 s Remaining CPU time: 177.883 s c =============================================================================== c | 9 | 597 1044 108708 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 38 c Elapsed CPU time: 2.12368 s Remaining CPU time: 177.876 s c =============================================================================== c | 9 | 597 1045 109053 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 37 c Elapsed CPU time: 2.13167 s Remaining CPU time: 177.868 s c =============================================================================== c | 9 | 597 1046 109398 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 36 c Elapsed CPU time: 2.13867 s Remaining CPU time: 177.861 s c =============================================================================== c | 9 | 597 1047 109743 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 35 c Elapsed CPU time: 2.14567 s Remaining CPU time: 177.854 s c =============================================================================== c | 9 | 597 1048 110088 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 34 c Elapsed CPU time: 2.15267 s Remaining CPU time: 177.847 s c =============================================================================== c | 9 | 597 1049 110433 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 33 c Elapsed CPU time: 2.15867 s Remaining CPU time: 177.841 s c =============================================================================== c | 9 | 597 1050 110778 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 32 c Elapsed CPU time: 2.16367 s Remaining CPU time: 177.836 s c =============================================================================== c | 9 | 597 1051 111123 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 31 c Elapsed CPU time: 2.17067 s Remaining CPU time: 177.829 s c =============================================================================== c | 9 | 597 1052 111468 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 30 c Elapsed CPU time: 2.17867 s Remaining CPU time: 177.821 s c =============================================================================== c | 9 | 597 1053 111813 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 29 c Elapsed CPU time: 2.18567 s Remaining CPU time: 177.814 s c =============================================================================== c | 9 | 597 1054 112158 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 28 c Elapsed CPU time: 2.19167 s Remaining CPU time: 177.808 s c =============================================================================== c | 9 | 597 1055 112503 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 27 c Elapsed CPU time: 2.19867 s Remaining CPU time: 177.801 s c =============================================================================== c | 9 | 597 1056 112848 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 26 c Elapsed CPU time: 2.20466 s Remaining CPU time: 177.795 s c =============================================================================== c | 9 | 597 1057 113193 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 25 c Elapsed CPU time: 2.21066 s Remaining CPU time: 177.789 s c =============================================================================== c | 9 | 597 1058 113538 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 24 c Elapsed CPU time: 2.21766 s Remaining CPU time: 177.782 s c =============================================================================== c | 9 | 597 1059 113883 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 23 c Elapsed CPU time: 2.22366 s Remaining CPU time: 177.776 s c =============================================================================== c | 9 | 597 1060 114228 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 22 c Elapsed CPU time: 2.22966 s Remaining CPU time: 177.77 s c =============================================================================== c | 9 | 597 1061 114573 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 21 c Elapsed CPU time: 2.23566 s Remaining CPU time: 177.764 s c =============================================================================== c | 9 | 597 1062 114918 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 20 c Elapsed CPU time: 2.24166 s Remaining CPU time: 177.758 s c =============================================================================== c | 9 | 597 1063 115263 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 19 c Elapsed CPU time: 2.24666 s Remaining CPU time: 177.753 s c =============================================================================== c | 9 | 597 1064 115608 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 18 c Elapsed CPU time: 2.25166 s Remaining CPU time: 177.748 s c =============================================================================== c | 9 | 597 1065 115953 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 17 c Elapsed CPU time: 2.25766 s Remaining CPU time: 177.742 s c =============================================================================== c | 9 | 597 1066 116298 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 16 c Elapsed CPU time: 2.26266 s Remaining CPU time: 177.737 s c =============================================================================== c | 9 | 597 1067 116643 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 15 c Elapsed CPU time: 2.26865 s Remaining CPU time: 177.731 s c =============================================================================== c | 9 | 597 1068 116988 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 14 c Elapsed CPU time: 2.27365 s Remaining CPU time: 177.726 s c =============================================================================== c | 9 | 597 1069 117333 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 13 c Elapsed CPU time: 2.27865 s Remaining CPU time: 177.721 s c =============================================================================== c | 9 | 597 1070 117678 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 12 c Elapsed CPU time: 2.28365 s Remaining CPU time: 177.716 s c =============================================================================== c | 9 | 597 1071 118023 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 11 c Elapsed CPU time: 2.28865 s Remaining CPU time: 177.711 s c =============================================================================== c | 9 | 597 1072 118368 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 10 c Elapsed CPU time: 2.29365 s Remaining CPU time: 177.706 s c =============================================================================== c | 9 | 597 1073 118713 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 9 c Elapsed CPU time: 2.29865 s Remaining CPU time: 177.701 s c =============================================================================== c | 9 | 597 1074 119058 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 8 c Elapsed CPU time: 2.30265 s Remaining CPU time: 177.697 s c =============================================================================== c | 12 | 597 1075 119403 | 5000 12 20 | 0.000 % | c =============================================================================== c New solution: 7 c Elapsed CPU time: 2.30765 s Remaining CPU time: 177.692 s c =============================================================================== c | 14 | 597 1076 119748 | 5000 14 18 | 0.000 % | c =============================================================================== c New solution: 6 c Elapsed CPU time: 2.31265 s Remaining CPU time: 177.687 s c =============================================================================== c | 16 | 597 1077 120093 | 5000 16 17 | 0.000 % | c =============================================================================== c New solution: 5 c Elapsed CPU time: 2.31765 s Remaining CPU time: 177.682 s c =============================================================================== c | 17 | 597 1078 120438 | 5000 17 16 | 0.000 % | c =============================================================================== c New solution: 4 c Elapsed CPU time: 2.32165 s Remaining CPU time: 177.678 s c =============================================================================== c | 22 | 597 1079 120783 | 5000 22 13 | 0.000 % | c =============================================================================== c New solution: 3 c Elapsed CPU time: 2.32665 s Remaining CPU time: 177.673 s c =============================================================================== c | 22 | 597 1080 121128 | 5000 22 13 | 0.000 % | c =============================================================================== c New solution: 2 c Elapsed CPU time: 2.33065 s Remaining CPU time: 177.669 s c =============================================================================== c | 22 | 597 1081 121473 | 5000 22 13 | 0.000 % | c =============================================================================== c New solution: 1 c Elapsed CPU time: 2.33564 s Remaining CPU time: 177.664 s c =============================================================================== c | 22 | 597 1082 121818 | 5000 22 13 | 0.000 % | c =============================================================================== c New solution: 0 c Elapsed CPU time: 2.33964 s Remaining CPU time: 177.66 s c =============================================================================== c =============================================================================== c Total CPU time: 2.33964 s