c wbo 1.4 beta - 20100610 c | Number of variables: 161 | c | Number of clauses: 1034 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1106 | c | Number Clauses: 999 | 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 | 1106 999 3747 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 1873763 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 0 | 1106 1000 4727 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 1868092 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 0 | 1106 1001 5707 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 1867922 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1106 1002 6687 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 1867591 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 15 | 1106 1003 7667 | 5000 15 956 | 0.000 % | c | 115 | 1106 1003 7667 | 5500 115 954 | 0.000 % | c =============================================================================== c New solution: 1867358 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 124 | 1106 1004 8647 | 5000 124 954 | 0.000 % | c =============================================================================== c New solution: 1867154 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 136 | 1106 1005 9627 | 5000 136 954 | 0.000 % | c =============================================================================== c New solution: 1867142 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 179 | 1106 1006 10607 | 5000 179 954 | 0.000 % | c =============================================================================== c New solution: 1866813 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s c =============================================================================== c | 181 | 1106 1007 11587 | 5000 181 954 | 0.000 % | c =============================================================================== c New solution: 1866395 c Elapsed CPU time: 0.118981 s Remaining CPU time: 179.881 s c =============================================================================== c | 181 | 1106 1008 12567 | 5000 181 954 | 0.000 % | c =============================================================================== c New solution: 1866035 c Elapsed CPU time: 0.12598 s Remaining CPU time: 179.874 s c =============================================================================== c | 181 | 1106 1009 13547 | 5000 181 954 | 0.000 % | c | 281 | 1106 1009 13547 | 5500 281 954 | 0.000 % | c =============================================================================== c New solution: 1866019 c Elapsed CPU time: 0.231964 s Remaining CPU time: 179.768 s c =============================================================================== c | 379 | 1106 1010 14527 | 5000 379 954 | 0.000 % | c | 479 | 1106 1010 14527 | 5500 479 954 | 0.000 % | c | 630 | 1106 1010 14527 | 6050 630 954 | 0.000 % | c =============================================================================== c New solution: 1865989 c Elapsed CPU time: 0.414936 s Remaining CPU time: 179.585 s c =============================================================================== c | 720 | 1106 1011 15507 | 5000 720 954 | 0.000 % | c | 820 | 1106 1011 15507 | 5500 820 954 | 0.000 % | c | 970 | 1106 1011 15507 | 6050 970 954 | 0.000 % | c | 1196 | 1106 1011 15507 | 6655 1196 954 | 0.000 % | c =============================================================================== c New solution: 1865700 c Elapsed CPU time: 0.922859 s Remaining CPU time: 179.077 s c =============================================================================== c | 1530 | 1106 1012 16487 | 5000 1530 955 | 0.000 % | c | 1631 | 1106 1012 16487 | 5500 1631 955 | 0.000 % | c | 1781 | 1106 1012 16487 | 6050 1781 955 | 0.000 % | c =============================================================================== c New solution: 1865536 c Elapsed CPU time: 1.19182 s Remaining CPU time: 178.808 s c =============================================================================== c | 1959 | 1106 1013 17467 | 5000 1959 955 | 0.000 % | c | 2059 | 1106 1013 17467 | 5500 2059 955 | 0.000 % | c =============================================================================== c New solution: 1865487 c Elapsed CPU time: 1.3138 s Remaining CPU time: 178.686 s c =============================================================================== c | 2077 | 1106 1014 18447 | 5000 2077 955 | 0.000 % | c | 2178 | 1106 1014 18447 | 5500 2178 955 | 0.000 % | c | 2328 | 1106 1014 18447 | 6050 2328 955 | 0.000 % | c | 2553 | 1106 1014 18447 | 6655 2553 955 | 0.000 % | c =============================================================================== c New solution: 1865157 c Elapsed CPU time: 1.91471 s Remaining CPU time: 178.085 s c =============================================================================== c | 2629 | 1106 1015 19427 | 5000 2629 955 | 0.000 % | c | 2729 | 1106 1015 19427 | 5500 2729 955 | 0.000 % | c =============================================================================== c New solution: 1865132 c Elapsed CPU time: 2.10568 s Remaining CPU time: 177.894 s c =============================================================================== c | 2818 | 1106 1016 20407 | 5000 2818 955 | 0.000 % | c | 2920 | 1106 1016 20407 | 5500 2920 955 | 0.000 % | c =============================================================================== c New solution: 1865123 c Elapsed CPU time: 2.30465 s Remaining CPU time: 177.695 s c =============================================================================== c | 2985 | 1106 1017 21387 | 5000 2985 955 | 0.000 % | c | 3085 | 1106 1017 21387 | 5500 3085 955 | 0.000 % | c =============================================================================== c New solution: 1865004 c Elapsed CPU time: 2.49362 s Remaining CPU time: 177.506 s c =============================================================================== c | 3212 | 1106 1018 22367 | 5000 3212 955 | 0.000 % | c | 3312 | 1106 1018 22367 | 5500 3312 955 | 0.000 % | c =============================================================================== c New solution: 1864961 c Elapsed CPU time: 2.6006 s Remaining CPU time: 177.399 s c =============================================================================== c | 3338 | 1106 1019 23347 | 5000 3338 955 | 0.000 % | c | 3440 | 1106 1019 23347 | 5500 3440 955 | 0.000 % | c =============================================================================== c New solution: 1864622 c Elapsed CPU time: 2.71059 s Remaining CPU time: 177.289 s c =============================================================================== c | 3449 | 1106 1020 24327 | 5000 3449 955 | 0.000 % | c | 3549 | 1106 1020 24327 | 5500 3549 955 | 0.000 % | c =============================================================================== c New solution: 1863911 c Elapsed CPU time: 2.83557 s Remaining CPU time: 177.164 s c =============================================================================== c | 3569 | 1106 1021 25307 | 5000 3569 955 | 0.000 % | c | 3670 | 1106 1021 25307 | 5500 3670 955 | 0.000 % | c =============================================================================== c New solution: 1863406 c Elapsed CPU time: 2.97855 s Remaining CPU time: 177.021 s c =============================================================================== c | 3713 | 1106 1022 26287 | 5000 3713 955 | 0.000 % | c | 3813 | 1106 1022 26287 | 5500 3813 955 | 0.000 % | c =============================================================================== c New solution: 1863178 c Elapsed CPU time: 3.17252 s Remaining CPU time: 176.827 s c =============================================================================== c | 3934 | 1106 1023 27267 | 5000 3934 955 | 0.000 % | c | 4034 | 1106 1023 27267 | 5500 4034 955 | 0.000 % | c =============================================================================== c New solution: 1863103 c Elapsed CPU time: 3.40048 s Remaining CPU time: 176.6 s c =============================================================================== c | 4179 | 1106 1024 28247 | 5000 4179 954 | 0.000 % | c | 4279 | 1106 1024 28247 | 5500 4279 954 | 0.000 % | c | 4429 | 1106 1024 28247 | 6050 4429 954 | 0.000 % | c | 4654 | 1106 1024 28247 | 6655 4654 954 | 0.000 % | c =============================================================================== c New solution: 1862691 c Elapsed CPU time: 4.20836 s Remaining CPU time: 175.792 s c =============================================================================== c | 4864 | 1106 1025 29227 | 5000 4864 954 | 0.000 % | c | 4965 | 1106 1025 29227 | 5500 4965 954 | 0.000 % | c | 5115 | 1106 1025 29227 | 6050 5115 954 | 0.000 % | c | 5340 | 1106 1025 29227 | 6655 5340 954 | 0.000 % | c =============================================================================== c New solution: 1862555 c Elapsed CPU time: 4.95525 s Remaining CPU time: 175.045 s c =============================================================================== c | 5427 | 1106 1026 30207 | 5000 5427 954 | 0.000 % | c | 5528 | 1106 1026 30207 | 5500 2815 954 | 0.000 % | c | 5679 | 1106 1026 30207 | 6050 2966 954 | 0.000 % | c | 5904 | 1106 1026 30207 | 6655 3191 954 | 0.000 % | c | 6242 | 1106 1026 30207 | 7320 3529 954 | 0.000 % | c =============================================================================== c New solution: 1862510 c Elapsed CPU time: 5.86911 s Remaining CPU time: 174.131 s c =============================================================================== c | 6316 | 1106 1027 31187 | 5000 3603 954 | 0.000 % | c | 6416 | 1106 1027 31187 | 5500 3703 954 | 0.000 % | c | 6566 | 1106 1027 31187 | 6050 3853 954 | 0.000 % | c | 6791 | 1106 1027 31187 | 6655 4078 954 | 0.000 % | c | 7129 | 1106 1027 31187 | 7320 4416 953 | 0.000 % | c =============================================================================== c New solution: 1862148 c Elapsed CPU time: 6.71498 s Remaining CPU time: 173.285 s c =============================================================================== c | 7345 | 1106 1028 32167 | 5000 4632 954 | 0.000 % | c =============================================================================== c New solution: 1862069 c Elapsed CPU time: 6.76897 s Remaining CPU time: 173.231 s c =============================================================================== c | 7370 | 1106 1029 33147 | 5000 4657 953 | 0.000 % | c | 7471 | 1106 1029 33147 | 5500 4758 954 | 0.000 % | c | 7622 | 1106 1029 33147 | 6050 4909 953 | 0.000 % | c | 7847 | 1106 1029 33147 | 6655 5134 953 | 0.000 % | c | 8184 | 1106 1029 33147 | 7320 5471 953 | 0.000 % | c =============================================================================== c New solution: 1861955 c Elapsed CPU time: 7.76782 s Remaining CPU time: 172.232 s c =============================================================================== c | 8438 | 1106 1030 34127 | 5000 5725 953 | 0.000 % | c =============================================================================== c New solution: 1861755 c Elapsed CPU time: 7.8658 s Remaining CPU time: 172.134 s c =============================================================================== c | 8485 | 1106 1031 35107 | 5000 2910 953 | 0.000 % | c | 8585 | 1106 1031 35107 | 5500 3010 953 | 0.000 % | c =============================================================================== c New solution: 1861723 c Elapsed CPU time: 8.02078 s Remaining CPU time: 171.979 s c =============================================================================== c | 8643 | 1106 1032 36087 | 5000 3068 953 | 0.000 % | c | 8743 | 1106 1032 36087 | 5500 3168 953 | 0.000 % | c =============================================================================== c New solution: 1861706 c Elapsed CPU time: 8.19975 s Remaining CPU time: 171.8 s c =============================================================================== c | 8780 | 1106 1033 37067 | 5000 3205 953 | 0.000 % | c | 8880 | 1106 1033 37067 | 5500 3305 953 | 0.000 % | c =============================================================================== c New solution: 1861663 c Elapsed CPU time: 8.37273 s Remaining CPU time: 171.627 s c =============================================================================== c | 8912 | 1106 1034 38047 | 5000 3337 953 | 0.000 % | c | 9012 | 1106 1034 38047 | 5500 3437 953 | 0.000 % | c =============================================================================== c New solution: 1861591 c Elapsed CPU time: 8.5227 s Remaining CPU time: 171.477 s c =============================================================================== c | 9016 | 1106 1035 39027 | 5000 3441 953 | 0.000 % | c =============================================================================== c New solution: 1861370 c Elapsed CPU time: 8.59969 s Remaining CPU time: 171.4 s c =============================================================================== c | 9083 | 1106 1036 40007 | 5000 3508 953 | 0.000 % | c =============================================================================== c New solution: 1860519 c Elapsed CPU time: 8.61569 s Remaining CPU time: 171.384 s c =============================================================================== c | 9083 | 1106 1037 40987 | 5000 3508 953 | 0.000 % | c =============================================================================== c New solution: 1860022 c Elapsed CPU time: 8.63069 s Remaining CPU time: 171.369 s c =============================================================================== c | 9083 | 1106 1038 41967 | 5000 3508 953 | 0.000 % | c =============================================================================== c New solution: 1859613 c Elapsed CPU time: 8.64569 s Remaining CPU time: 171.354 s c =============================================================================== c | 9083 | 1106 1039 42947 | 5000 3508 953 | 0.000 % | c =============================================================================== c New solution: 1857687 c Elapsed CPU time: 8.65768 s Remaining CPU time: 171.342 s c =============================================================================== c | 9083 | 1106 1040 43927 | 5000 3508 953 | 0.000 % | c =============================================================================== c New solution: 1857278 c Elapsed CPU time: 8.67368 s Remaining CPU time: 171.326 s c =============================================================================== c | 9084 | 1106 1041 44907 | 5000 3509 953 | 0.000 % | c =============================================================================== c New solution: 1857138 c Elapsed CPU time: 8.69268 s Remaining CPU time: 171.307 s c =============================================================================== c | 9085 | 1106 1042 45887 | 5000 3510 953 | 0.000 % | c =============================================================================== c New solution: 1856711 c Elapsed CPU time: 8.70868 s Remaining CPU time: 171.291 s c =============================================================================== c | 9086 | 1106 1043 46867 | 5000 3511 953 | 0.000 % | c | 9187 | 1106 1043 46867 | 5500 3612 953 | 0.000 % | c | 9338 | 1106 1043 46867 | 6050 3763 953 | 0.000 % | c | 9563 | 1106 1043 46867 | 6655 3988 953 | 0.000 % | c | 9901 | 1106 1043 46867 | 7320 4326 953 | 0.000 % | c =============================================================================== c New solution: 1856408 c Elapsed CPU time: 9.48156 s Remaining CPU time: 170.518 s c =============================================================================== c | 10032 | 1106 1044 47847 | 5000 4457 953 | 0.000 % | c | 10133 | 1106 1044 47847 | 5500 4558 953 | 0.000 % | c | 10283 | 1106 1044 47847 | 6050 4708 953 | 0.000 % | c | 10509 | 1106 1044 47847 | 6655 4934 953 | 0.000 % | c =============================================================================== c New solution: 1856175 c Elapsed CPU time: 10.3394 s Remaining CPU time: 169.661 s c =============================================================================== c | 10764 | 1106 1045 48827 | 5000 5189 953 | 0.000 % | c | 10866 | 1106 1045 48827 | 5500 2697 952 | 0.000 % | c | 11016 | 1106 1045 48827 | 6050 2847 952 | 0.000 % | c | 11242 | 1106 1045 48827 | 6655 3073 952 | 0.000 % | c | 11579 | 1106 1045 48827 | 7320 3410 952 | 0.000 % | c | 12086 | 1106 1045 48827 | 8052 3917 952 | 0.000 % | c =============================================================================== c New solution: 1855838 c Elapsed CPU time: 12.3351 s Remaining CPU time: 167.665 s c =============================================================================== c | 12521 | 1106 1046 49807 | 5000 4352 952 | 0.000 % | c | 12621 | 1106 1046 49807 | 5500 4452 952 | 0.000 % | c =============================================================================== c New solution: 1855819 c Elapsed CPU time: 12.6481 s Remaining CPU time: 167.352 s c =============================================================================== c | 12725 | 1106 1047 50787 | 5000 4556 952 | 0.000 % | c | 12825 | 1106 1047 50787 | 5500 4656 952 | 0.000 % | c | 12975 | 1106 1047 50787 | 6050 4806 952 | 0.000 % | c | 13201 | 1106 1047 50787 | 6655 5032 952 | 0.000 % | c | 13538 | 1106 1047 50787 | 7320 5369 952 | 0.000 % | c =============================================================================== c New solution: 1855627 c Elapsed CPU time: 13.7799 s Remaining CPU time: 166.22 s c =============================================================================== c | 13582 | 1106 1048 51767 | 5000 5413 952 | 0.000 % | c | 13682 | 1106 1048 51767 | 5500 2807 952 | 0.000 % | c | 13832 | 1106 1048 51767 | 6050 2957 952 | 0.000 % | c | 14057 | 1106 1048 51767 | 6655 3182 952 | 0.000 % | c =============================================================================== c New solution: 1855494 c Elapsed CPU time: 14.4548 s Remaining CPU time: 165.545 s c =============================================================================== c | 14184 | 1106 1049 52747 | 5000 3309 952 | 0.000 % | c | 14284 | 1106 1049 52747 | 5500 3409 952 | 0.000 % | c =============================================================================== c New solution: 1855218 c Elapsed CPU time: 14.7088 s Remaining CPU time: 165.291 s c =============================================================================== c | 14396 | 1106 1050 53727 | 5000 3521 952 | 0.000 % | c | 14499 | 1106 1050 53727 | 5500 3624 952 | 0.000 % | c =============================================================================== c New solution: 1855184 c Elapsed CPU time: 14.9837 s Remaining CPU time: 165.016 s c =============================================================================== c | 14588 | 1106 1051 54707 | 5000 3713 952 | 0.000 % | c | 14689 | 1106 1051 54707 | 5500 3814 952 | 0.000 % | c =============================================================================== c New solution: 1855169 c Elapsed CPU time: 15.2147 s Remaining CPU time: 164.785 s c =============================================================================== c | 14758 | 1106 1052 55687 | 5000 3883 952 | 0.000 % | c | 14859 | 1106 1052 55687 | 5500 3984 952 | 0.000 % | c | 15010 | 1106 1052 55687 | 6050 4135 952 | 0.000 % | c =============================================================================== c New solution: 1854697 c Elapsed CPU time: 15.7876 s Remaining CPU time: 164.212 s c =============================================================================== c | 15099 | 1106 1053 56667 | 5000 4224 952 | 0.000 % | c | 15199 | 1106 1053 56667 | 5500 4324 952 | 0.000 % | c =============================================================================== c New solution: 1854675 c Elapsed CPU time: 15.9876 s Remaining CPU time: 164.012 s c =============================================================================== c | 15230 | 1106 1054 57647 | 5000 4355 952 | 0.000 % | c | 15330 | 1106 1054 57647 | 5500 4455 952 | 0.000 % | c | 15480 | 1106 1054 57647 | 6050 4605 952 | 0.000 % | c =============================================================================== c New solution: 1854667 c Elapsed CPU time: 16.7125 s Remaining CPU time: 163.288 s c =============================================================================== c | 15661 | 1106 1055 58627 | 5000 4786 952 | 0.000 % | c | 15761 | 1106 1055 58627 | 5500 4886 952 | 0.000 % | c =============================================================================== c New solution: 1854618 c Elapsed CPU time: 17.0344 s Remaining CPU time: 162.966 s c =============================================================================== c | 15833 | 1106 1056 59607 | 5000 4958 952 | 0.000 % | c | 15933 | 1106 1056 59607 | 5500 5058 952 | 0.000 % | c =============================================================================== c New solution: 1854575 c Elapsed CPU time: 17.3254 s Remaining CPU time: 162.675 s c =============================================================================== c | 15982 | 1106 1057 60587 | 5000 5107 952 | 0.000 % | c | 16082 | 1106 1057 60587 | 5500 2654 951 | 0.000 % | c =============================================================================== c New solution: 1854401 c Elapsed CPU time: 17.5323 s Remaining CPU time: 162.468 s c =============================================================================== c | 16086 | 1106 1058 61567 | 5000 2658 951 | 0.000 % | c =============================================================================== c New solution: 1853786 c Elapsed CPU time: 17.5583 s Remaining CPU time: 162.442 s c =============================================================================== c | 16090 | 1106 1059 62547 | 5000 2662 951 | 0.000 % | c =============================================================================== c New solution: 1853604 c Elapsed CPU time: 17.6103 s Remaining CPU time: 162.39 s c =============================================================================== c | 16116 | 1106 1060 63527 | 5000 2688 951 | 0.000 % | c =============================================================================== c New solution: 1853197 c Elapsed CPU time: 17.6593 s Remaining CPU time: 162.341 s c =============================================================================== c | 16144 | 1106 1061 64507 | 5000 2716 951 | 0.000 % | c | 16245 | 1106 1061 64507 | 5500 2817 951 | 0.000 % | c =============================================================================== c New solution: 1853048 c Elapsed CPU time: 17.9193 s Remaining CPU time: 162.081 s c =============================================================================== c | 16363 | 1106 1062 65487 | 5000 2935 951 | 0.000 % | c =============================================================================== c New solution: 1852552 c Elapsed CPU time: 17.9453 s Remaining CPU time: 162.055 s c =============================================================================== c | 16364 | 1106 1063 66467 | 5000 2936 951 | 0.000 % | c | 16467 | 1106 1063 66467 | 5500 3039 951 | 0.000 % | c =============================================================================== c New solution: 1852479 c Elapsed CPU time: 18.1052 s Remaining CPU time: 161.895 s c =============================================================================== c | 16478 | 1106 1064 67447 | 5000 3050 951 | 0.000 % | c =============================================================================== c New solution: 1852188 c Elapsed CPU time: 18.1572 s Remaining CPU time: 161.843 s c =============================================================================== c | 16503 | 1106 1065 68427 | 5000 3075 951 | 0.000 % | c =============================================================================== c New solution: 1852163 c Elapsed CPU time: 18.1842 s Remaining CPU time: 161.816 s c =============================================================================== c | 16505 | 1106 1066 69407 | 5000 3077 951 | 0.000 % | c =============================================================================== c New solution: 1851912 c Elapsed CPU time: 18.2372 s Remaining CPU time: 161.763 s c =============================================================================== c | 16520 | 1106 1067 70387 | 5000 3092 951 | 0.000 % | c =============================================================================== c New solution: 1851463 c Elapsed CPU time: 18.2672 s Remaining CPU time: 161.733 s c =============================================================================== c | 16520 | 1106 1068 71367 | 5000 3092 951 | 0.000 % | c | 16621 | 1106 1068 71367 | 5500 3193 951 | 0.000 % | c | 16772 | 1106 1068 71367 | 6050 3344 951 | 0.000 % | c | 16999 | 1106 1068 71367 | 6655 3571 951 | 0.000 % | c | 17337 | 1106 1068 71367 | 7320 3909 951 | 0.000 % | c | 17843 | 1106 1068 71367 | 8052 4415 951 | 0.000 % | c =============================================================================== c New solution: 1851458 c Elapsed CPU time: 20.3769 s Remaining CPU time: 159.623 s c =============================================================================== c | 18347 | 1106 1069 72347 | 5000 4919 951 | 0.000 % | c | 18447 | 1106 1069 72347 | 5500 5019 951 | 0.000 % | c | 18600 | 1106 1069 72347 | 6050 5172 951 | 0.000 % | c | 18826 | 1106 1069 72347 | 6655 5398 951 | 0.000 % | c =============================================================================== c New solution: 1851352 c Elapsed CPU time: 21.3897 s Remaining CPU time: 158.61 s c =============================================================================== c | 18926 | 1106 1070 73327 | 5000 5498 951 | 0.000 % | c | 19027 | 1106 1070 73327 | 5500 2850 951 | 0.000 % | c | 19178 | 1106 1070 73327 | 6050 3001 951 | 0.000 % | c | 19404 | 1106 1070 73327 | 6655 3227 951 | 0.000 % | c | 19741 | 1106 1070 73327 | 7320 3564 951 | 0.000 % | c | 20247 | 1106 1070 73327 | 8052 4070 951 | 0.000 % | c =============================================================================== c New solution: 1851335 c Elapsed CPU time: 23.4454 s Remaining CPU time: 156.555 s c =============================================================================== c | 20561 | 1106 1071 74307 | 5000 4384 951 | 0.000 % | c | 20661 | 1106 1071 74307 | 5500 4484 951 | 0.000 % | c | 20811 | 1106 1071 74307 | 6050 4634 951 | 0.000 % | c | 21036 | 1106 1071 74307 | 6655 4859 951 | 0.000 % | c | 21373 | 1106 1071 74307 | 7320 5196 951 | 0.000 % | c | 21880 | 1106 1071 74307 | 8052 5703 951 | 0.000 % | c =============================================================================== c New solution: 1851128 c Elapsed CPU time: 25.98 s Remaining CPU time: 154.02 s c =============================================================================== c | 22492 | 1106 1072 75287 | 5000 6315 951 | 0.000 % | c | 22592 | 1106 1072 75287 | 5500 3258 950 | 0.000 % | c | 22743 | 1106 1072 75287 | 6050 3409 950 | 0.000 % | c | 22968 | 1106 1072 75287 | 6655 3634 950 | 0.000 % | c | 23305 | 1106 1072 75287 | 7320 3971 950 | 0.000 % | c =============================================================================== c New solution: 1851108 c Elapsed CPU time: 27.4998 s Remaining CPU time: 152.5 s c =============================================================================== c | 23645 | 1106 1073 76267 | 5000 4311 950 | 0.000 % | c | 23746 | 1106 1073 76267 | 5500 4412 950 | 0.000 % | c =============================================================================== c New solution: 1850914 c Elapsed CPU time: 27.8358 s Remaining CPU time: 152.164 s c =============================================================================== c | 23868 | 1106 1074 77247 | 5000 4534 950 | 0.000 % | c | 23969 | 1106 1074 77247 | 5500 4635 950 | 0.000 % | c | 24120 | 1106 1074 77247 | 6050 4786 950 | 0.000 % | c =============================================================================== c New solution: 1850744 c Elapsed CPU time: 28.4197 s Remaining CPU time: 151.58 s c =============================================================================== c | 24208 | 1106 1075 78227 | 5000 4874 950 | 0.000 % | c | 24309 | 1106 1075 78227 | 5500 4975 950 | 0.000 % | c | 24459 | 1106 1075 78227 | 6050 5125 950 | 0.000 % | c | 24684 | 1106 1075 78227 | 6655 5350 950 | 0.000 % | c | 25021 | 1106 1075 78227 | 7320 5687 950 | 0.000 % | c | 25528 | 1106 1075 78227 | 8052 6194 949 | 0.000 % | c =============================================================================== c New solution: 1850613 c Elapsed CPU time: 31.1463 s Remaining CPU time: 148.854 s c =============================================================================== c | 26277 | 1106 1076 79207 | 5000 6943 949 | 0.000 % | c | 26377 | 1106 1076 79207 | 5500 3572 947 | 0.000 % | c | 26528 | 1106 1076 79207 | 6050 3723 947 | 0.000 % | c | 26754 | 1106 1076 79207 | 6655 3949 947 | 0.000 % | c | 27091 | 1106 1076 79207 | 7320 4286 947 | 0.000 % | c =============================================================================== c New solution: 1850472 c Elapsed CPU time: 32.853 s Remaining CPU time: 147.147 s c =============================================================================== c | 27378 | 1106 1077 80187 | 5000 4573 947 | 0.000 % | c | 27479 | 1106 1077 80187 | 5500 4674 947 | 0.000 % | c | 27632 | 1106 1077 80187 | 6050 4827 947 | 0.000 % | c | 27858 | 1106 1077 80187 | 6655 5053 947 | 0.000 % | c | 28195 | 1106 1077 80187 | 7320 5390 947 | 0.000 % | c =============================================================================== c New solution: 1850308 c Elapsed CPU time: 34.4618 s Remaining CPU time: 145.538 s c =============================================================================== c | 28283 | 1106 1078 81167 | 5000 5478 947 | 0.000 % | c | 28383 | 1106 1078 81167 | 5500 2839 945 | 0.000 % | c | 28533 | 1106 1078 81167 | 6050 2989 945 | 0.000 % | c | 28758 | 1106 1078 81167 | 6655 3214 945 | 0.000 % | c | 29095 | 1106 1078 81167 | 7320 3551 945 | 0.000 % | c | 29602 | 1106 1078 81167 | 8052 4058 945 | 0.000 % | c =============================================================================== c New solution: 1850291 c Elapsed CPU time: 36.8664 s Remaining CPU time: 143.134 s c =============================================================================== c | 30061 | 1106 1079 82147 | 5000 4517 945 | 0.000 % | c | 30162 | 1106 1079 82147 | 5500 4618 945 | 0.000 % | c =============================================================================== c New solution: 1850094 c Elapsed CPU time: 37.1843 s Remaining CPU time: 142.816 s c =============================================================================== c | 30255 | 1106 1080 83127 | 5000 4711 945 | 0.000 % | c =============================================================================== c New solution: 1850035 c Elapsed CPU time: 37.3693 s Remaining CPU time: 142.631 s c =============================================================================== c | 30343 | 1106 1081 84107 | 5000 4799 945 | 0.000 % | c | 30444 | 1106 1081 84107 | 5500 4900 945 | 0.000 % | c | 30594 | 1106 1081 84107 | 6050 5050 945 | 0.000 % | c =============================================================================== c New solution: 1849903 c Elapsed CPU time: 37.7933 s Remaining CPU time: 142.207 s c =============================================================================== c | 30598 | 1106 1082 85087 | 5000 5054 945 | 0.000 % | c | 30699 | 1106 1082 85087 | 5500 2628 945 | 0.000 % | c | 30851 | 1106 1082 85087 | 6050 2780 945 | 0.000 % | c | 31076 | 1106 1082 85087 | 6655 3005 945 | 0.000 % | c | 31414 | 1106 1082 85087 | 7320 3343 945 | 0.000 % | c | 31921 | 1106 1082 85087 | 8052 3850 945 | 0.000 % | c =============================================================================== c New solution: 1849770 c Elapsed CPU time: 40.6968 s Remaining CPU time: 139.303 s c =============================================================================== c | 32486 | 1106 1083 86067 | 5000 4415 945 | 0.000 % | c | 32586 | 1106 1083 86067 | 5500 4515 945 | 0.000 % | c | 32736 | 1106 1083 86067 | 6050 4665 945 | 0.000 % | c | 32963 | 1106 1083 86067 | 6655 4892 945 | 0.000 % | c | 33301 | 1106 1083 86067 | 7320 5230 945 | 0.000 % | c | 33808 | 1106 1083 86067 | 8052 5737 945 | 0.000 % | c | 34567 | 1106 1083 86067 | 8857 6496 945 | 0.000 % | c =============================================================================== c New solution: 1849710 c Elapsed CPU time: 44.1733 s Remaining CPU time: 135.827 s c =============================================================================== c | 34759 | 1106 1084 87047 | 5000 6688 945 | 0.000 % | c | 34859 | 1106 1084 87047 | 5500 3444 945 | 0.000 % | c | 35009 | 1106 1084 87047 | 6050 3594 945 | 0.000 % | c | 35235 | 1106 1084 87047 | 6655 3820 945 | 0.000 % | c | 35572 | 1106 1084 87047 | 7320 4157 945 | 0.000 % | c | 36079 | 1106 1084 87047 | 8052 4664 945 | 0.000 % | c | 36839 | 1106 1084 87047 | 8857 5424 945 | 0.000 % | c =============================================================================== c New solution: 1849610 c Elapsed CPU time: 47.8667 s Remaining CPU time: 132.133 s c =============================================================================== c | 37351 | 1106 1085 88027 | 5000 5936 945 | 0.000 % | c | 37452 | 1106 1085 88027 | 5500 3069 945 | 0.000 % | c | 37603 | 1106 1085 88027 | 6050 3220 945 | 0.000 % | c =============================================================================== c New solution: 1849444 c Elapsed CPU time: 48.3846 s Remaining CPU time: 131.615 s c =============================================================================== c | 37623 | 1106 1086 89007 | 5000 3240 945 | 0.000 % | c | 37725 | 1106 1086 89007 | 5500 3342 945 | 0.000 % | c | 37877 | 1106 1086 89007 | 6050 3494 945 | 0.000 % | c =============================================================================== c New solution: 1849379 c Elapsed CPU time: 49.1005 s Remaining CPU time: 130.899 s c =============================================================================== c | 38046 | 1106 1087 89987 | 5000 3663 945 | 0.000 % | c | 38149 | 1106 1087 89987 | 5500 3766 945 | 0.000 % | c | 38299 | 1106 1087 89987 | 6050 3916 945 | 0.000 % | c | 38526 | 1106 1087 89987 | 6655 4143 945 | 0.000 % | c | 38863 | 1106 1087 89987 | 7320 4480 945 | 0.000 % | c | 39370 | 1106 1087 89987 | 8052 4987 944 | 0.000 % | c =============================================================================== c New solution: 1849240 c Elapsed CPU time: 51.9491 s Remaining CPU time: 128.051 s c =============================================================================== c | 39810 | 1106 1088 90967 | 5000 5427 945 | 0.000 % | c | 39911 | 1106 1088 90967 | 5500 2815 944 | 0.000 % | c | 40062 | 1106 1088 90967 | 6050 2966 944 | 0.000 % | c | 40287 | 1106 1088 90967 | 6655 3191 944 | 0.000 % | c | 40625 | 1106 1088 90967 | 7320 3529 944 | 0.000 % | c | 41131 | 1106 1088 90967 | 8052 4035 944 | 0.000 % | c =============================================================================== c New solution: 1849116 c Elapsed CPU time: 54.2797 s Remaining CPU time: 125.72 s c =============================================================================== c | 41402 | 1106 1089 91947 | 5000 4306 945 | 0.000 % | c | 41502 | 1106 1089 91947 | 5500 4406 945 | 0.000 % | c | 41652 | 1106 1089 91947 | 6050 4556 945 | 0.000 % | c | 41878 | 1106 1089 91947 | 6655 4782 945 | 0.000 % | c | 42215 | 1106 1089 91947 | 7320 5119 944 | 0.000 % | c =============================================================================== c New solution: 1849083 c Elapsed CPU time: 56.0665 s Remaining CPU time: 123.934 s c =============================================================================== c | 42459 | 1106 1090 92927 | 5000 5363 944 | 0.000 % | c | 42560 | 1106 1090 92927 | 5500 2783 944 | 0.000 % | c | 42710 | 1106 1090 92927 | 6050 2933 944 | 0.000 % | c | 42936 | 1106 1090 92927 | 6655 3159 944 | 0.000 % | c =============================================================================== c New solution: 1848987 c Elapsed CPU time: 57.2363 s Remaining CPU time: 122.764 s c =============================================================================== c | 43178 | 1106 1091 93907 | 5000 3401 944 | 0.000 % | c | 43280 | 1106 1091 93907 | 5500 3503 944 | 0.000 % | c | 43432 | 1106 1091 93907 | 6050 3655 944 | 0.000 % | c | 43657 | 1106 1091 93907 | 6655 3880 944 | 0.000 % | c | 43994 | 1106 1091 93907 | 7320 4217 943 | 0.000 % | c =============================================================================== c New solution: 1848938 c Elapsed CPU time: 59.232 s Remaining CPU time: 120.768 s c =============================================================================== c | 44338 | 1106 1092 94887 | 5000 4561 943 | 0.000 % | c | 44438 | 1106 1092 94887 | 5500 4661 943 | 0.000 % | c | 44590 | 1106 1092 94887 | 6050 4813 943 | 0.000 % | c | 44819 | 1106 1092 94887 | 6655 5042 943 | 0.000 % | c | 45156 | 1106 1092 94887 | 7320 5379 943 | 0.000 % | c | 45662 | 1106 1092 94887 | 8052 5885 943 | 0.000 % | c =============================================================================== c New solution: 1848770 c Elapsed CPU time: 62.7875 s Remaining CPU time: 117.213 s c =============================================================================== c | 46149 | 1106 1093 95867 | 5000 6372 943 | 0.000 % | c | 46251 | 1106 1093 95867 | 5500 3288 942 | 0.000 % | c | 46401 | 1106 1093 95867 | 6050 3438 942 | 0.000 % | c | 46628 | 1106 1093 95867 | 6655 3665 942 | 0.000 % | c | 46966 | 1106 1093 95867 | 7320 4003 942 | 0.000 % | c | 47472 | 1106 1093 95867 | 8052 4509 942 | 0.000 % | c =============================================================================== c New solution: 1848624 c Elapsed CPU time: 65.477 s Remaining CPU time: 114.523 s c =============================================================================== c | 47948 | 1106 1094 96847 | 5000 4985 942 | 0.000 % | c | 48048 | 1106 1094 96847 | 5500 5085 942 | 0.000 % | c | 48198 | 1106 1094 96847 | 6050 5235 942 | 0.000 % | c =============================================================================== c New solution: 1848504 c Elapsed CPU time: 66.2139 s Remaining CPU time: 113.786 s c =============================================================================== c | 48379 | 1106 1095 97827 | 5000 5416 942 | 0.000 % | c | 48479 | 1106 1095 97827 | 5500 2808 942 | 0.000 % | c | 48631 | 1106 1095 97827 | 6050 2960 942 | 0.000 % | c | 48857 | 1106 1095 97827 | 6655 3186 942 | 0.000 % | c | 49194 | 1106 1095 97827 | 7320 3523 942 | 0.000 % | c | 49701 | 1106 1095 97827 | 8052 4030 942 | 0.000 % | c =============================================================================== c New solution: 1848406 c Elapsed CPU time: 69.1085 s Remaining CPU time: 110.892 s c =============================================================================== c | 50180 | 1106 1096 98807 | 5000 4509 942 | 0.000 % | c | 50280 | 1106 1096 98807 | 5500 4609 942 | 0.000 % | c | 50431 | 1106 1096 98807 | 6050 4760 942 | 0.000 % | c =============================================================================== c New solution: 1848371 c Elapsed CPU time: 69.8354 s Remaining CPU time: 110.165 s c =============================================================================== c | 50492 | 1106 1097 99787 | 5000 4821 942 | 0.000 % | c | 50594 | 1106 1097 99787 | 5500 4923 942 | 0.000 % | c | 50744 | 1106 1097 99787 | 6050 5073 942 | 0.000 % | c | 50970 | 1106 1097 99787 | 6655 5299 942 | 0.000 % | c | 51308 | 1106 1097 99787 | 7320 5637 942 | 0.000 % | c =============================================================================== c New solution: 1848234 c Elapsed CPU time: 71.7691 s Remaining CPU time: 108.231 s c =============================================================================== c | 51599 | 1106 1098 100767 | 5000 5928 942 | 0.000 % | c | 51700 | 1106 1098 100767 | 5500 3065 942 | 0.000 % | c | 51851 | 1106 1098 100767 | 6050 3216 942 | 0.000 % | c | 52077 | 1106 1098 100767 | 6655 3442 942 | 0.000 % | c | 52414 | 1106 1098 100767 | 7320 3779 942 | 0.000 % | c =============================================================================== c New solution: 1848196 c Elapsed CPU time: 74.0907 s Remaining CPU time: 105.909 s c =============================================================================== c | 52706 | 1106 1099 101747 | 5000 4071 942 | 0.000 % | c | 52807 | 1106 1099 101747 | 5500 4172 943 | 0.000 % | c | 52957 | 1106 1099 101747 | 6050 4322 943 | 0.000 % | c | 53182 | 1106 1099 101747 | 6655 4547 942 | 0.000 % | c | 53520 | 1106 1099 101747 | 7320 4885 942 | 0.000 % | c | 54026 | 1106 1099 101747 | 8052 5391 942 | 0.000 % | c | 54786 | 1106 1099 101747 | 8857 6151 942 | 0.000 % | c =============================================================================== c New solution: 1847965 c Elapsed CPU time: 78.714 s Remaining CPU time: 101.286 s c =============================================================================== c | 55279 | 1106 1100 102727 | 5000 6644 942 | 0.000 % | c | 55379 | 1106 1100 102727 | 5500 3422 942 | 0.000 % | c | 55529 | 1106 1100 102727 | 6050 3572 942 | 0.000 % | c =============================================================================== c New solution: 1847644 c Elapsed CPU time: 79.6159 s Remaining CPU time: 100.384 s c =============================================================================== c | 55712 | 1106 1101 103707 | 5000 3755 942 | 0.000 % | c | 55812 | 1106 1101 103707 | 5500 3855 942 | 0.000 % | c | 55962 | 1106 1101 103707 | 6050 4005 942 | 0.000 % | c | 56189 | 1106 1101 103707 | 6655 4232 942 | 0.000 % | c =============================================================================== c New solution: 1847619 c Elapsed CPU time: 81.2366 s Remaining CPU time: 98.7634 s c =============================================================================== c | 56517 | 1106 1102 104687 | 5000 4560 942 | 0.000 % | c | 56617 | 1106 1102 104687 | 5500 4660 942 | 0.000 % | c | 56768 | 1106 1102 104687 | 6050 4811 942 | 0.000 % | c | 56993 | 1106 1102 104687 | 6655 5036 942 | 0.000 % | c | 57331 | 1106 1102 104687 | 7320 5374 942 | 0.000 % | c =============================================================================== c New solution: 1847409 c Elapsed CPU time: 83.0224 s Remaining CPU time: 96.9776 s c =============================================================================== c | 57502 | 1106 1103 105667 | 5000 5545 942 | 0.000 % | c | 57602 | 1106 1103 105667 | 5500 2873 942 | 0.000 % | c =============================================================================== c New solution: 1847307 c Elapsed CPU time: 83.3723 s Remaining CPU time: 96.6277 s c =============================================================================== c | 57642 | 1106 1104 106647 | 5000 2913 942 | 0.000 % | c | 57743 | 1106 1104 106647 | 5500 3014 942 | 0.000 % | c | 57893 | 1106 1104 106647 | 6050 3164 942 | 0.000 % | c =============================================================================== c New solution: 1847200 c Elapsed CPU time: 84.0402 s Remaining CPU time: 95.9598 s c =============================================================================== c | 58011 | 1106 1105 107627 | 5000 3282 942 | 0.000 % | c | 58112 | 1106 1105 107627 | 5500 3383 942 | 0.000 % | c | 58263 | 1106 1105 107627 | 6050 3534 942 | 0.000 % | c | 58490 | 1106 1105 107627 | 6655 3761 942 | 0.000 % | c =============================================================================== c New solution: 1847114 c Elapsed CPU time: 85.339 s Remaining CPU time: 94.661 s c =============================================================================== c | 58727 | 1106 1106 108607 | 5000 3998 942 | 0.000 % | c | 58828 | 1106 1106 108607 | 5500 4099 942 | 0.000 % | c | 58978 | 1106 1106 108607 | 6050 4249 942 | 0.000 % | c | 59204 | 1106 1106 108607 | 6655 4475 942 | 0.000 % | c | 59542 | 1106 1106 108607 | 7320 4813 942 | 0.000 % | c =============================================================================== c New solution: 1846746 c Elapsed CPU time: 87.4777 s Remaining CPU time: 92.5223 s c =============================================================================== c | 59870 | 1106 1107 109587 | 5000 5141 942 | 0.000 % | c | 59971 | 1106 1107 109587 | 5500 2672 943 | 0.000 % | c =============================================================================== c New solution: 1846587 c Elapsed CPU time: 87.9726 s Remaining CPU time: 92.0274 s c =============================================================================== c | 60047 | 1106 1108 110567 | 5000 2748 943 | 0.000 % | c | 60147 | 1106 1108 110567 | 5500 2848 943 | 0.000 % | c =============================================================================== c New solution: 1846544 c Elapsed CPU time: 88.5115 s Remaining CPU time: 91.4885 s c =============================================================================== c | 60279 | 1106 1109 111547 | 5000 2980 943 | 0.000 % | c | 60380 | 1106 1109 111547 | 5500 3081 943 | 0.000 % | c =============================================================================== c New solution: 1846540 c Elapsed CPU time: 88.9875 s Remaining CPU time: 91.0125 s c =============================================================================== c | 60506 | 1106 1110 112527 | 5000 3207 943 | 0.000 % | c | 60606 | 1106 1110 112527 | 5500 3307 943 | 0.000 % | c | 60757 | 1106 1110 112527 | 6050 3458 943 | 0.000 % | c | 60982 | 1106 1110 112527 | 6655 3683 943 | 0.000 % | c =============================================================================== c New solution: 1846474 c Elapsed CPU time: 90.4013 s Remaining CPU time: 89.5987 s c =============================================================================== c | 61214 | 1106 1111 113507 | 5000 3915 943 | 0.000 % | c | 61315 | 1106 1111 113507 | 5500 4016 943 | 0.000 % | c | 61465 | 1106 1111 113507 | 6050 4166 943 | 0.000 % | c =============================================================================== c New solution: 1846421 c Elapsed CPU time: 91.0852 s Remaining CPU time: 88.9148 s c =============================================================================== c | 61633 | 1106 1112 114487 | 5000 4334 943 | 0.000 % | c | 61733 | 1106 1112 114487 | 5500 4434 943 | 0.000 % | c =============================================================================== c New solution: 1846410 c Elapsed CPU time: 91.4931 s Remaining CPU time: 88.5069 s c =============================================================================== c | 61838 | 1106 1113 115467 | 5000 4539 943 | 0.000 % | c | 61939 | 1106 1113 115467 | 5500 4640 943 | 0.000 % | c | 62090 | 1106 1113 115467 | 6050 4791 943 | 0.000 % | c | 62316 | 1106 1113 115467 | 6655 5017 943 | 0.000 % | c =============================================================================== c New solution: 1846405 c Elapsed CPU time: 92.7849 s Remaining CPU time: 87.2151 s c =============================================================================== c | 62496 | 1106 1114 116447 | 5000 5197 943 | 0.000 % | c | 62596 | 1106 1114 116447 | 5500 2699 943 | 0.000 % | c | 62747 | 1106 1114 116447 | 6050 2850 943 | 0.000 % | c | 62972 | 1106 1114 116447 | 6655 3075 943 | 0.000 % | c | 63309 | 1106 1114 116447 | 7320 3412 944 | 0.000 % | c | 63815 | 1106 1114 116447 | 8052 3918 944 | 0.000 % | c | 64574 | 1106 1114 116447 | 8857 4677 944 | 0.000 % | c =============================================================================== c New solution: 1846363 c Elapsed CPU time: 98.0581 s Remaining CPU time: 81.9419 s c =============================================================================== c | 65564 | 1106 1115 117427 | 5000 5667 944 | 0.000 % | c | 65664 | 1106 1115 117427 | 5500 2934 944 | 0.000 % | c | 65814 | 1106 1115 117427 | 6050 3084 944 | 0.000 % | c | 66040 | 1106 1115 117427 | 6655 3310 944 | 0.000 % | c | 66377 | 1106 1115 117427 | 7320 3647 944 | 0.000 % | c =============================================================================== c New solution: 1846248 c Elapsed CPU time: 99.9618 s Remaining CPU time: 80.0382 s c =============================================================================== c | 66483 | 1106 1116 118407 | 5000 3753 944 | 0.000 % | c | 66583 | 1106 1116 118407 | 5500 3853 944 | 0.000 % | c | 66733 | 1106 1116 118407 | 6050 4003 944 | 0.000 % | c | 66958 | 1106 1116 118407 | 6655 4228 944 | 0.000 % | c | 67296 | 1106 1116 118407 | 7320 4566 944 | 0.000 % | c =============================================================================== c New solution: 1846158 c Elapsed CPU time: 102.611 s Remaining CPU time: 77.3886 s c =============================================================================== c | 67790 | 1106 1117 119387 | 5000 5060 944 | 0.000 % | c | 67891 | 1106 1117 119387 | 5500 2631 943 | 0.000 % | c | 68042 | 1106 1117 119387 | 6050 2782 943 | 0.000 % | c | 68268 | 1106 1117 119387 | 6655 3008 943 | 0.000 % | c | 68605 | 1106 1117 119387 | 7320 3345 943 | 0.000 % | c | 69111 | 1106 1117 119387 | 8052 3851 943 | 0.000 % | c =============================================================================== c New solution: 1846140 c Elapsed CPU time: 106.326 s Remaining CPU time: 73.6742 s c =============================================================================== c | 69770 | 1106 1118 120367 | 5000 4510 943 | 0.000 % | c | 69870 | 1106 1118 120367 | 5500 4610 943 | 0.000 % | c | 70022 | 1106 1118 120367 | 6050 4762 943 | 0.000 % | c | 70247 | 1106 1118 120367 | 6655 4987 943 | 0.000 % | c | 70584 | 1106 1118 120367 | 7320 5324 943 | 0.000 % | c =============================================================================== c New solution: 1846097 c Elapsed CPU time: 107.887 s Remaining CPU time: 72.1134 s c =============================================================================== c | 70589 | 1106 1119 121347 | 5000 5329 943 | 0.000 % | c | 70689 | 1106 1119 121347 | 5500 2765 943 | 0.000 % | c =============================================================================== c New solution: 1846005 c Elapsed CPU time: 108.179 s Remaining CPU time: 71.8214 s c =============================================================================== c | 70692 | 1106 1120 122327 | 5000 2768 943 | 0.000 % | c =============================================================================== c New solution: 1845995 c Elapsed CPU time: 108.275 s Remaining CPU time: 71.7255 s c =============================================================================== c | 70717 | 1106 1121 123307 | 5000 2793 943 | 0.000 % | c | 70817 | 1106 1121 123307 | 5500 2893 943 | 0.000 % | c | 70967 | 1106 1121 123307 | 6050 3043 943 | 0.000 % | c | 71192 | 1106 1121 123307 | 6655 3268 943 | 0.000 % | c | 71529 | 1106 1121 123307 | 7320 3605 943 | 0.000 % | c | 72035 | 1106 1121 123307 | 8052 4111 943 | 0.000 % | c =============================================================================== c New solution: 1845909 c Elapsed CPU time: 111.165 s Remaining CPU time: 68.8349 s c =============================================================================== c | 72284 | 1106 1122 124287 | 5000 4360 943 | 0.000 % | c | 72384 | 1106 1122 124287 | 5500 4460 943 | 0.000 % | c | 72534 | 1106 1122 124287 | 6050 4610 943 | 0.000 % | c =============================================================================== c New solution: 1845891 c Elapsed CPU time: 111.928 s Remaining CPU time: 68.072 s c =============================================================================== c | 72562 | 1106 1123 125267 | 5000 4638 943 | 0.000 % | c | 72662 | 1106 1123 125267 | 5500 4738 943 | 0.000 % | c | 72812 | 1106 1123 125267 | 6050 4888 943 | 0.000 % | c | 73038 | 1106 1123 125267 | 6655 5114 943 | 0.000 % | c =============================================================================== c New solution: 1845829 c Elapsed CPU time: 113.608 s Remaining CPU time: 66.3923 s c =============================================================================== c | 73349 | 1106 1124 126247 | 5000 5425 943 | 0.000 % | c | 73449 | 1106 1124 126247 | 5500 2813 943 | 0.000 % | c | 73600 | 1106 1124 126247 | 6050 2964 943 | 0.000 % | c | 73825 | 1106 1124 126247 | 6655 3189 943 | 0.000 % | c | 74163 | 1106 1124 126247 | 7320 3527 943 | 0.000 % | c =============================================================================== c New solution: 1845628 c Elapsed CPU time: 116.2 s Remaining CPU time: 63.7997 s c =============================================================================== c | 74557 | 1106 1125 127227 | 5000 3921 943 | 0.000 % | c | 74657 | 1106 1125 127227 | 5500 4021 943 | 0.000 % | c | 74808 | 1106 1125 127227 | 6050 4172 943 | 0.000 % | c | 75033 | 1106 1125 127227 | 6655 4397 943 | 0.000 % | c =============================================================================== c New solution: 1845627 c Elapsed CPU time: 117.9 s Remaining CPU time: 62.0999 s c =============================================================================== c | 75322 | 1106 1126 128207 | 5000 4686 943 | 0.000 % | c | 75422 | 1106 1126 128207 | 5500 4786 943 | 0.000 % | c | 75573 | 1106 1126 128207 | 6050 4937 943 | 0.000 % | c | 75800 | 1106 1126 128207 | 6655 5164 943 | 0.000 % | c | 76137 | 1106 1126 128207 | 7320 5501 943 | 0.000 % | c =============================================================================== c New solution: 1845540 c Elapsed CPU time: 120.473 s Remaining CPU time: 59.5273 s c =============================================================================== c | 76637 | 1106 1127 129187 | 5000 6001 943 | 0.000 % | c | 76737 | 1106 1127 129187 | 5500 3101 943 | 0.000 % | c | 76887 | 1106 1127 129187 | 6050 3251 943 | 0.000 % | c | 77112 | 1106 1127 129187 | 6655 3476 943 | 0.000 % | c | 77450 | 1106 1127 129187 | 7320 3814 943 | 0.000 % | c | 77957 | 1106 1127 129187 | 8052 4321 942 | 0.000 % | c | 78716 | 1106 1127 129187 | 8857 5080 942 | 0.000 % | c =============================================================================== c New solution: 1845424 c Elapsed CPU time: 125.64 s Remaining CPU time: 54.3601 s c =============================================================================== c | 79169 | 1106 1128 130167 | 5000 5533 942 | 0.000 % | c =============================================================================== c New solution: 1845280 c Elapsed CPU time: 125.919 s Remaining CPU time: 54.0811 s c =============================================================================== c | 79262 | 1106 1129 131147 | 5000 2860 940 | 0.000 % | c | 79362 | 1106 1129 131147 | 5500 2960 940 | 0.000 % | c | 79512 | 1106 1129 131147 | 6050 3110 940 | 0.000 % | c | 79737 | 1106 1129 131147 | 6655 3335 940 | 0.000 % | c | 80074 | 1106 1129 131147 | 7320 3672 940 | 0.000 % | c | 80580 | 1106 1129 131147 | 8052 4178 940 | 0.000 % | c =============================================================================== c New solution: 1845201 c Elapsed CPU time: 129.892 s Remaining CPU time: 50.1077 s c =============================================================================== c | 81145 | 1106 1130 132127 | 5000 4743 941 | 0.000 % | c | 81245 | 1106 1130 132127 | 5500 4843 940 | 0.000 % | c | 81395 | 1106 1130 132127 | 6050 4993 940 | 0.000 % | c | 81621 | 1106 1130 132127 | 6655 5219 940 | 0.000 % | c | 81959 | 1106 1130 132127 | 7320 5557 940 | 0.000 % | c | 82465 | 1106 1130 132127 | 8052 6063 941 | 0.000 % | c | 83224 | 1106 1130 132127 | 8857 6822 940 | 0.000 % | c =============================================================================== c New solution: 1845159 c Elapsed CPU time: 134.285 s Remaining CPU time: 45.7154 s c =============================================================================== c | 83278 | 1106 1131 133107 | 5000 6876 940 | 0.000 % | c | 83378 | 1106 1131 133107 | 5500 3538 940 | 0.000 % | c | 83528 | 1106 1131 133107 | 6050 3688 940 | 0.000 % | c | 83753 | 1106 1131 133107 | 6655 3913 940 | 0.000 % | c | 84090 | 1106 1131 133107 | 7320 4250 940 | 0.000 % | c =============================================================================== c New solution: 1845087 c Elapsed CPU time: 136.998 s Remaining CPU time: 43.0018 s c =============================================================================== c | 84460 | 1106 1132 134087 | 5000 4620 940 | 0.000 % | c | 84561 | 1106 1132 134087 | 5500 4721 940 | 0.000 % | c | 84711 | 1106 1132 134087 | 6050 4871 940 | 0.000 % | c | 84936 | 1106 1132 134087 | 6655 5096 940 | 0.000 % | c =============================================================================== c New solution: 1845044 c Elapsed CPU time: 138.609 s Remaining CPU time: 41.3911 s c =============================================================================== c | 85100 | 1106 1133 135067 | 5000 5260 940 | 0.000 % | c | 85202 | 1106 1133 135067 | 5500 2732 940 | 0.000 % | c | 85352 | 1106 1133 135067 | 6050 2882 940 | 0.000 % | c | 85579 | 1106 1133 135067 | 6655 3109 940 | 0.000 % | c | 85917 | 1106 1133 135067 | 7320 3447 940 | 0.000 % | c =============================================================================== c New solution: 1845032 c Elapsed CPU time: 141.108 s Remaining CPU time: 38.8925 s c =============================================================================== c | 86199 | 1106 1134 136047 | 5000 3729 940 | 0.000 % | c | 86299 | 1106 1134 136047 | 5500 3829 940 | 0.000 % | c =============================================================================== c New solution: 1845026 c Elapsed CPU time: 141.451 s Remaining CPU time: 38.5485 s c =============================================================================== c | 86349 | 1106 1135 137027 | 5000 3879 940 | 0.000 % | c | 86450 | 1106 1135 137027 | 5500 3980 940 | 0.000 % | c =============================================================================== c New solution: 1844983 c Elapsed CPU time: 141.716 s Remaining CPU time: 38.2835 s c =============================================================================== c | 86450 | 1106 1136 138007 | 5000 3980 940 | 0.000 % | c =============================================================================== c New solution: 1844943 c Elapsed CPU time: 141.806 s Remaining CPU time: 38.1936 s c =============================================================================== c | 86457 | 1106 1137 138987 | 5000 3987 940 | 0.000 % | c | 86557 | 1106 1137 138987 | 5500 4087 940 | 0.000 % | c | 86708 | 1106 1137 138987 | 6050 4238 940 | 0.000 % | c | 86933 | 1106 1137 138987 | 6655 4463 940 | 0.000 % | c =============================================================================== c New solution: 1844863 c Elapsed CPU time: 142.973 s Remaining CPU time: 37.0267 s c =============================================================================== c | 86966 | 1106 1138 139967 | 5000 4496 940 | 0.000 % | c | 87066 | 1106 1138 139967 | 5500 4596 940 | 0.000 % | c | 87217 | 1106 1138 139967 | 6050 4747 940 | 0.000 % | c | 87442 | 1106 1138 139967 | 6655 4972 940 | 0.000 % | c | 87779 | 1106 1138 139967 | 7320 5309 940 | 0.000 % | c | 88285 | 1106 1138 139967 | 8052 5815 940 | 0.000 % | c | 89045 | 1106 1138 139967 | 8857 6575 940 | 0.000 % | c =============================================================================== c New solution: 1844849 c Elapsed CPU time: 148.448 s Remaining CPU time: 31.5516 s c =============================================================================== c | 89530 | 1106 1139 140947 | 5000 7060 941 | 0.000 % | c | 89630 | 1106 1139 140947 | 5500 3630 941 | 0.000 % | c | 89781 | 1106 1139 140947 | 6050 3781 941 | 0.000 % | c | 90006 | 1106 1139 140947 | 6655 4006 941 | 0.000 % | c | 90345 | 1106 1139 140947 | 7320 4345 941 | 0.000 % | c =============================================================================== c New solution: 1844833 c Elapsed CPU time: 150.711 s Remaining CPU time: 29.2889 s c =============================================================================== c | 90508 | 1106 1140 141927 | 5000 4508 941 | 0.000 % | c | 90609 | 1106 1140 141927 | 5500 4609 941 | 0.000 % | c | 90759 | 1106 1140 141927 | 6050 4759 941 | 0.000 % | c =============================================================================== c New solution: 1844815 c Elapsed CPU time: 151.735 s Remaining CPU time: 28.2651 s c =============================================================================== c | 90958 | 1106 1141 142907 | 5000 4958 941 | 0.000 % | c | 91059 | 1106 1141 142907 | 5500 5059 941 | 0.000 % | c | 91209 | 1106 1141 142907 | 6050 5209 941 | 0.000 % | c =============================================================================== c New solution: 1844739 c Elapsed CPU time: 152.708 s Remaining CPU time: 27.2922 s c =============================================================================== c | 91352 | 1106 1142 143887 | 5000 5352 941 | 0.000 % | c | 91452 | 1106 1142 143887 | 5500 2776 941 | 0.000 % | c =============================================================================== c New solution: 1844728 c Elapsed CPU time: 153.298 s Remaining CPU time: 26.7023 s c =============================================================================== c | 91503 | 1106 1143 144867 | 5000 2827 941 | 0.000 % | c | 91604 | 1106 1143 144867 | 5500 2928 941 | 0.000 % | c =============================================================================== c New solution: 1844662 c Elapsed CPU time: 153.878 s Remaining CPU time: 26.1224 s c =============================================================================== c | 91706 | 1106 1144 145847 | 5000 3030 941 | 0.000 % | c | 91806 | 1106 1144 145847 | 5500 3130 941 | 0.000 % | c | 91958 | 1106 1144 145847 | 6050 3282 941 | 0.000 % | c | 92185 | 1106 1144 145847 | 6655 3509 941 | 0.000 % | c | 92523 | 1106 1144 145847 | 7320 3847 941 | 0.000 % | c | 93030 | 1106 1144 145847 | 8052 4354 942 | 0.000 % | c =============================================================================== c New solution: 1844519 c Elapsed CPU time: 157.488 s Remaining CPU time: 22.5119 s c =============================================================================== c | 93338 | 1106 1145 146827 | 5000 4662 942 | 0.000 % | c | 93438 | 1106 1145 146827 | 5500 4762 942 | 0.000 % | c | 93589 | 1106 1145 146827 | 6050 4913 942 | 0.000 % | c =============================================================================== c New solution: 1844313 c Elapsed CPU time: 158.515 s Remaining CPU time: 21.4851 s c =============================================================================== c | 93722 | 1106 1146 147807 | 5000 5046 942 | 0.000 % | c | 93823 | 1106 1146 147807 | 5500 2624 942 | 0.000 % | c | 93973 | 1106 1146 147807 | 6050 2774 943 | 0.000 % | c | 94198 | 1106 1146 147807 | 6655 2999 943 | 0.000 % | c | 94536 | 1106 1146 147807 | 7320 3337 942 | 0.000 % | c =============================================================================== c New solution: 1844199 c Elapsed CPU time: 161.343 s Remaining CPU time: 18.6565 s c =============================================================================== c | 94867 | 1106 1147 148787 | 5000 3668 942 | 0.000 % | c | 94967 | 1106 1147 148787 | 5500 3768 942 | 0.000 % | c | 95117 | 1106 1147 148787 | 6050 3918 942 | 0.000 % | c =============================================================================== c New solution: 1844142 c Elapsed CPU time: 162.623 s Remaining CPU time: 17.3767 s c =============================================================================== c | 95305 | 1106 1148 149767 | 5000 4106 942 | 0.000 % | c | 95405 | 1106 1148 149767 | 5500 4206 942 | 0.000 % | c | 95557 | 1106 1148 149767 | 6050 4358 942 | 0.000 % | c =============================================================================== c New solution: 1844002 c Elapsed CPU time: 163.723 s Remaining CPU time: 16.2769 s c =============================================================================== c | 95747 | 1106 1149 150747 | 5000 4548 942 | 0.000 % | c | 95848 | 1106 1149 150747 | 5500 4649 942 | 0.000 % | c =============================================================================== c New solution: 1843981 c Elapsed CPU time: 164.341 s Remaining CPU time: 15.659 s c =============================================================================== c | 95955 | 1106 1150 151727 | 5000 4756 942 | 0.000 % | c | 96055 | 1106 1150 151727 | 5500 4856 942 | 0.000 % | c | 96206 | 1106 1150 151727 | 6050 5007 942 | 0.000 % | c | 96431 | 1106 1150 151727 | 6655 5232 942 | 0.000 % | c | 96768 | 1106 1150 151727 | 7320 5569 942 | 0.000 % | c =============================================================================== c New solution: 1843888 c Elapsed CPU time: 167.356 s Remaining CPU time: 12.6444 s c =============================================================================== c | 97142 | 1106 1151 152707 | 5000 5943 942 | 0.000 % | c | 97243 | 1106 1151 152707 | 5500 3073 941 | 0.000 % | c | 97393 | 1106 1151 152707 | 6050 3223 941 | 0.000 % | c | 97618 | 1106 1151 152707 | 6655 3448 941 | 0.000 % | c | 97956 | 1106 1151 152707 | 7320 3786 941 | 0.000 % | c | 98463 | 1106 1151 152707 | 8052 4293 941 | 0.000 % | c | 99222 | 1106 1151 152707 | 8857 5052 941 | 0.000 % | c =============================================================================== c New solution: 1843866 c Elapsed CPU time: 173.82 s Remaining CPU time: 6.18043 s c =============================================================================== c | 99998 | 1106 1152 153687 | 5000 5828 941 | 0.000 % | c | 100098 | 1106 1152 153687 | 5500 3014 941 | 0.000 % | c | 100249 | 1106 1152 153687 | 6050 3165 941 | 0.000 % | c =============================================================================== c New solution: 1843809 c Elapsed CPU time: 174.708 s Remaining CPU time: 5.29156 s c =============================================================================== c | 100283 | 1106 1153 154667 | 5000 3199 941 | 0.000 % | c | 100383 | 1106 1153 154667 | 5500 3299 941 | 0.000 % | c | 100534 | 1106 1153 154667 | 6050 3450 941 | 0.000 % |