c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 1000 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1000 | c | Number Clauses: 1000 | 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 | 946 1000 2848 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4725 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 0 | 946 1001 3698 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4724 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 0 | 946 1002 4548 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4718 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 946 1003 5398 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4716 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 946 1004 6248 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4715 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 946 1005 7098 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4710 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 946 1006 7948 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4709 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 946 1007 8798 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4708 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 946 1008 9648 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4707 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 946 1009 10498 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4702 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 946 1010 11348 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4701 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 946 1011 12198 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4700 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 0 | 946 1012 13048 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4699 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 0 | 946 1013 13898 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4694 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 0 | 946 1014 14748 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4693 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 0 | 946 1015 15598 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4692 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 0 | 946 1016 16448 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4691 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 0 | 946 1017 17298 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4688 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 0 | 946 1018 18148 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4687 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s c =============================================================================== c | 0 | 946 1019 18998 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4686 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 0 | 946 1020 19848 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4685 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 0 | 946 1021 20698 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4684 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 0 | 946 1022 21548 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4683 c Elapsed CPU time: 0.121981 s Remaining CPU time: 179.878 s c =============================================================================== c | 0 | 946 1023 22398 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4682 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 0 | 946 1024 23248 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4681 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 0 | 946 1025 24098 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4680 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s c =============================================================================== c | 0 | 946 1026 24948 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4679 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 0 | 946 1027 25798 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4678 c Elapsed CPU time: 0.161975 s Remaining CPU time: 179.838 s c =============================================================================== c | 0 | 946 1028 26648 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4675 c Elapsed CPU time: 0.169974 s Remaining CPU time: 179.83 s c =============================================================================== c | 0 | 946 1029 27498 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4674 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 0 | 946 1030 28348 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4673 c Elapsed CPU time: 0.184971 s Remaining CPU time: 179.815 s c =============================================================================== c | 0 | 946 1031 29198 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4672 c Elapsed CPU time: 0.19397 s Remaining CPU time: 179.806 s c =============================================================================== c | 0 | 946 1032 30048 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4671 c Elapsed CPU time: 0.201969 s Remaining CPU time: 179.798 s c =============================================================================== c | 0 | 946 1033 30898 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4670 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s c =============================================================================== c | 0 | 946 1034 31748 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4669 c Elapsed CPU time: 0.215967 s Remaining CPU time: 179.784 s c =============================================================================== c | 0 | 946 1035 32598 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4667 c Elapsed CPU time: 0.223965 s Remaining CPU time: 179.776 s c =============================================================================== c | 0 | 946 1036 33448 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4663 c Elapsed CPU time: 0.233964 s Remaining CPU time: 179.766 s c =============================================================================== c | 0 | 946 1037 34298 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4661 c Elapsed CPU time: 0.241963 s Remaining CPU time: 179.758 s c =============================================================================== c | 0 | 946 1038 35148 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4660 c Elapsed CPU time: 0.250961 s Remaining CPU time: 179.749 s c =============================================================================== c | 0 | 946 1039 35998 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4657 c Elapsed CPU time: 0.25996 s Remaining CPU time: 179.74 s c =============================================================================== c | 0 | 946 1040 36848 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4653 c Elapsed CPU time: 0.269958 s Remaining CPU time: 179.73 s c =============================================================================== c | 0 | 946 1041 37698 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4651 c Elapsed CPU time: 0.279957 s Remaining CPU time: 179.72 s c =============================================================================== c | 0 | 946 1042 38548 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4649 c Elapsed CPU time: 0.290955 s Remaining CPU time: 179.709 s c =============================================================================== c | 0 | 946 1043 39398 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4647 c Elapsed CPU time: 0.300954 s Remaining CPU time: 179.699 s c =============================================================================== c | 0 | 946 1044 40248 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4642 c Elapsed CPU time: 0.309952 s Remaining CPU time: 179.69 s c =============================================================================== c | 0 | 946 1045 41098 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4639 c Elapsed CPU time: 0.320951 s Remaining CPU time: 179.679 s c =============================================================================== c | 0 | 946 1046 41948 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4637 c Elapsed CPU time: 0.331949 s Remaining CPU time: 179.668 s c =============================================================================== c | 0 | 946 1047 42798 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4636 c Elapsed CPU time: 0.344947 s Remaining CPU time: 179.655 s c =============================================================================== c | 0 | 946 1048 43648 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4635 c Elapsed CPU time: 0.357945 s Remaining CPU time: 179.642 s c =============================================================================== c | 0 | 946 1049 44498 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4633 c Elapsed CPU time: 0.370943 s Remaining CPU time: 179.629 s c =============================================================================== c | 0 | 946 1050 45348 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4628 c Elapsed CPU time: 0.382941 s Remaining CPU time: 179.617 s c =============================================================================== c | 0 | 946 1051 46198 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4624 c Elapsed CPU time: 0.395939 s Remaining CPU time: 179.604 s c =============================================================================== c | 0 | 946 1052 47048 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4623 c Elapsed CPU time: 0.408937 s Remaining CPU time: 179.591 s c =============================================================================== c | 0 | 946 1053 47898 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4621 c Elapsed CPU time: 0.421935 s Remaining CPU time: 179.578 s c =============================================================================== c | 0 | 946 1054 48748 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4617 c Elapsed CPU time: 0.434933 s Remaining CPU time: 179.565 s c =============================================================================== c | 0 | 946 1055 49598 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4612 c Elapsed CPU time: 0.448931 s Remaining CPU time: 179.551 s c =============================================================================== c | 0 | 946 1056 50448 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4609 c Elapsed CPU time: 0.462929 s Remaining CPU time: 179.537 s c =============================================================================== c | 0 | 946 1057 51298 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4608 c Elapsed CPU time: 0.477927 s Remaining CPU time: 179.522 s c =============================================================================== c | 0 | 946 1058 52148 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4607 c Elapsed CPU time: 0.493924 s Remaining CPU time: 179.506 s c =============================================================================== c | 0 | 946 1059 52998 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4606 c Elapsed CPU time: 0.509922 s Remaining CPU time: 179.49 s c =============================================================================== c | 0 | 946 1060 53848 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4605 c Elapsed CPU time: 0.52492 s Remaining CPU time: 179.475 s c =============================================================================== c | 0 | 946 1061 54698 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4604 c Elapsed CPU time: 0.540917 s Remaining CPU time: 179.459 s c =============================================================================== c | 0 | 946 1062 55548 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4598 c Elapsed CPU time: 0.556915 s Remaining CPU time: 179.443 s c =============================================================================== c | 0 | 946 1063 56398 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4597 c Elapsed CPU time: 0.573912 s Remaining CPU time: 179.426 s c =============================================================================== c | 0 | 946 1064 57248 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4592 c Elapsed CPU time: 0.58991 s Remaining CPU time: 179.41 s c =============================================================================== c | 0 | 946 1065 58098 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4588 c Elapsed CPU time: 0.605907 s Remaining CPU time: 179.394 s c =============================================================================== c | 0 | 946 1066 58948 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4586 c Elapsed CPU time: 0.622905 s Remaining CPU time: 179.377 s c =============================================================================== c | 0 | 946 1067 59798 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4585 c Elapsed CPU time: 0.639902 s Remaining CPU time: 179.36 s c =============================================================================== c | 0 | 946 1068 60648 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4584 c Elapsed CPU time: 0.6549 s Remaining CPU time: 179.345 s c =============================================================================== c | 0 | 946 1069 61498 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4582 c Elapsed CPU time: 0.672897 s Remaining CPU time: 179.327 s c =============================================================================== c | 0 | 946 1070 62348 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4581 c Elapsed CPU time: 0.690894 s Remaining CPU time: 179.309 s c =============================================================================== c | 0 | 946 1071 63198 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4579 c Elapsed CPU time: 0.705892 s Remaining CPU time: 179.294 s c =============================================================================== c | 0 | 946 1072 64048 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4576 c Elapsed CPU time: 0.725889 s Remaining CPU time: 179.274 s c =============================================================================== c | 0 | 946 1073 64898 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4572 c Elapsed CPU time: 0.742887 s Remaining CPU time: 179.257 s c =============================================================================== c | 0 | 946 1074 65748 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4571 c Elapsed CPU time: 0.760884 s Remaining CPU time: 179.239 s c =============================================================================== c | 0 | 946 1075 66598 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4570 c Elapsed CPU time: 0.780881 s Remaining CPU time: 179.219 s c =============================================================================== c | 0 | 946 1076 67448 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4566 c Elapsed CPU time: 0.799878 s Remaining CPU time: 179.2 s c =============================================================================== c | 0 | 946 1077 68298 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4565 c Elapsed CPU time: 0.820875 s Remaining CPU time: 179.179 s c =============================================================================== c | 0 | 946 1078 69148 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4564 c Elapsed CPU time: 0.841872 s Remaining CPU time: 179.158 s c =============================================================================== c | 0 | 946 1079 69998 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4563 c Elapsed CPU time: 0.861868 s Remaining CPU time: 179.138 s c =============================================================================== c | 0 | 946 1080 70848 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4562 c Elapsed CPU time: 0.880866 s Remaining CPU time: 179.119 s c =============================================================================== c | 0 | 946 1081 71698 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4561 c Elapsed CPU time: 0.899863 s Remaining CPU time: 179.1 s c =============================================================================== c | 0 | 946 1082 72548 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4559 c Elapsed CPU time: 0.92086 s Remaining CPU time: 179.079 s c =============================================================================== c | 0 | 946 1083 73398 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4558 c Elapsed CPU time: 0.942856 s Remaining CPU time: 179.057 s c =============================================================================== c | 0 | 946 1084 74248 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4557 c Elapsed CPU time: 0.963853 s Remaining CPU time: 179.036 s c =============================================================================== c | 0 | 946 1085 75098 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4555 c Elapsed CPU time: 0.986849 s Remaining CPU time: 179.013 s c =============================================================================== c | 0 | 946 1086 75948 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4554 c Elapsed CPU time: 1.00985 s Remaining CPU time: 178.99 s c =============================================================================== c | 0 | 946 1087 76798 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4553 c Elapsed CPU time: 1.03084 s Remaining CPU time: 178.969 s c =============================================================================== c | 0 | 946 1088 77648 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4552 c Elapsed CPU time: 1.05584 s Remaining CPU time: 178.944 s c =============================================================================== c | 0 | 946 1089 78498 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4551 c Elapsed CPU time: 1.07883 s Remaining CPU time: 178.921 s c =============================================================================== c | 0 | 946 1090 79348 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4550 c Elapsed CPU time: 1.10283 s Remaining CPU time: 178.897 s c =============================================================================== c | 0 | 946 1091 80198 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4548 c Elapsed CPU time: 1.12783 s Remaining CPU time: 178.872 s c =============================================================================== c | 0 | 946 1092 81048 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4546 c Elapsed CPU time: 1.15282 s Remaining CPU time: 178.847 s c =============================================================================== c | 0 | 946 1093 81898 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4545 c Elapsed CPU time: 1.17882 s Remaining CPU time: 178.821 s c =============================================================================== c | 0 | 946 1094 82748 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4544 c Elapsed CPU time: 1.20582 s Remaining CPU time: 178.794 s c =============================================================================== c | 0 | 946 1095 83598 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4539 c Elapsed CPU time: 1.23181 s Remaining CPU time: 178.768 s c =============================================================================== c | 0 | 946 1096 84448 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4537 c Elapsed CPU time: 1.25781 s Remaining CPU time: 178.742 s c =============================================================================== c | 0 | 946 1097 85298 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4536 c Elapsed CPU time: 1.2858 s Remaining CPU time: 178.714 s c =============================================================================== c | 0 | 946 1098 86148 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4531 c Elapsed CPU time: 1.3118 s Remaining CPU time: 178.688 s c =============================================================================== c | 0 | 946 1099 86998 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4530 c Elapsed CPU time: 1.3408 s Remaining CPU time: 178.659 s c =============================================================================== c | 0 | 946 1100 87848 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4528 c Elapsed CPU time: 1.36679 s Remaining CPU time: 178.633 s c =============================================================================== c | 0 | 946 1101 88698 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4527 c Elapsed CPU time: 1.39579 s Remaining CPU time: 178.604 s c =============================================================================== c | 0 | 946 1102 89548 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4525 c Elapsed CPU time: 1.42278 s Remaining CPU time: 178.577 s c =============================================================================== c | 0 | 946 1103 90398 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4524 c Elapsed CPU time: 1.44978 s Remaining CPU time: 178.55 s c =============================================================================== c | 0 | 946 1104 91248 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4523 c Elapsed CPU time: 1.47978 s Remaining CPU time: 178.52 s c =============================================================================== c | 0 | 946 1105 92098 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4522 c Elapsed CPU time: 1.51177 s Remaining CPU time: 178.488 s c =============================================================================== c | 0 | 946 1106 92948 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4521 c Elapsed CPU time: 1.54076 s Remaining CPU time: 178.459 s c =============================================================================== c | 0 | 946 1107 93798 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4520 c Elapsed CPU time: 1.56976 s Remaining CPU time: 178.43 s c =============================================================================== c | 0 | 946 1108 94648 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4519 c Elapsed CPU time: 1.59976 s Remaining CPU time: 178.4 s c =============================================================================== c | 0 | 946 1109 95498 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4518 c Elapsed CPU time: 1.63075 s Remaining CPU time: 178.369 s c =============================================================================== c | 0 | 946 1110 96348 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4515 c Elapsed CPU time: 1.66275 s Remaining CPU time: 178.337 s c =============================================================================== c | 0 | 946 1111 97198 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4513 c Elapsed CPU time: 1.69174 s Remaining CPU time: 178.308 s c =============================================================================== c | 0 | 946 1112 98048 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4511 c Elapsed CPU time: 1.72474 s Remaining CPU time: 178.275 s c =============================================================================== c | 0 | 946 1113 98898 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4510 c Elapsed CPU time: 1.75673 s Remaining CPU time: 178.243 s c =============================================================================== c | 0 | 946 1114 99748 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4509 c Elapsed CPU time: 1.79073 s Remaining CPU time: 178.209 s c =============================================================================== c | 0 | 946 1115 100598 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4507 c Elapsed CPU time: 1.82472 s Remaining CPU time: 178.175 s c =============================================================================== c | 0 | 946 1116 101448 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4506 c Elapsed CPU time: 1.85772 s Remaining CPU time: 178.142 s c =============================================================================== c | 0 | 946 1117 102298 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4503 c Elapsed CPU time: 1.89071 s Remaining CPU time: 178.109 s c =============================================================================== c | 0 | 946 1118 103148 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4502 c Elapsed CPU time: 1.92371 s Remaining CPU time: 178.076 s c =============================================================================== c | 0 | 946 1119 103998 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4501 c Elapsed CPU time: 1.9617 s Remaining CPU time: 178.038 s c =============================================================================== c | 0 | 946 1120 104848 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4500 c Elapsed CPU time: 1.9977 s Remaining CPU time: 178.002 s c =============================================================================== c | 0 | 946 1121 105698 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4499 c Elapsed CPU time: 2.03469 s Remaining CPU time: 177.965 s c =============================================================================== c | 0 | 946 1122 106548 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4497 c Elapsed CPU time: 2.07268 s Remaining CPU time: 177.927 s c =============================================================================== c | 0 | 946 1123 107398 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4494 c Elapsed CPU time: 2.10968 s Remaining CPU time: 177.89 s c =============================================================================== c | 0 | 946 1124 108248 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4492 c Elapsed CPU time: 2.14667 s Remaining CPU time: 177.853 s c =============================================================================== c | 0 | 946 1125 109098 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4491 c Elapsed CPU time: 2.18367 s Remaining CPU time: 177.816 s c =============================================================================== c | 0 | 946 1126 109948 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4488 c Elapsed CPU time: 2.22466 s Remaining CPU time: 177.775 s c =============================================================================== c | 0 | 946 1127 110798 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4487 c Elapsed CPU time: 2.26365 s Remaining CPU time: 177.736 s c =============================================================================== c | 0 | 946 1128 111648 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4485 c Elapsed CPU time: 2.30465 s Remaining CPU time: 177.695 s c =============================================================================== c | 0 | 946 1129 112498 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4480 c Elapsed CPU time: 2.34264 s Remaining CPU time: 177.657 s c =============================================================================== c | 0 | 946 1130 113348 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4476 c Elapsed CPU time: 2.37964 s Remaining CPU time: 177.62 s c =============================================================================== c | 0 | 946 1131 114198 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4475 c Elapsed CPU time: 2.41763 s Remaining CPU time: 177.582 s c =============================================================================== c | 0 | 946 1132 115048 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4471 c Elapsed CPU time: 2.45663 s Remaining CPU time: 177.543 s c =============================================================================== c | 0 | 946 1133 115898 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4470 c Elapsed CPU time: 2.49762 s Remaining CPU time: 177.502 s c =============================================================================== c | 0 | 946 1134 116748 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4469 c Elapsed CPU time: 2.53961 s Remaining CPU time: 177.46 s c =============================================================================== c | 0 | 946 1135 117598 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4465 c Elapsed CPU time: 2.58061 s Remaining CPU time: 177.419 s c =============================================================================== c | 0 | 946 1136 118448 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4464 c Elapsed CPU time: 2.6216 s Remaining CPU time: 177.378 s c =============================================================================== c | 0 | 946 1137 119298 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4461 c Elapsed CPU time: 2.66459 s Remaining CPU time: 177.335 s c =============================================================================== c | 0 | 946 1138 120148 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4460 c Elapsed CPU time: 2.70859 s Remaining CPU time: 177.291 s c =============================================================================== c | 0 | 946 1139 120998 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4459 c Elapsed CPU time: 2.75458 s Remaining CPU time: 177.245 s c =============================================================================== c | 0 | 946 1140 121848 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4457 c Elapsed CPU time: 2.80057 s Remaining CPU time: 177.199 s c =============================================================================== c | 0 | 946 1141 122698 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4456 c Elapsed CPU time: 2.84857 s Remaining CPU time: 177.151 s c =============================================================================== c | 0 | 946 1142 123548 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4454 c Elapsed CPU time: 2.89456 s Remaining CPU time: 177.105 s c =============================================================================== c | 0 | 946 1143 124398 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4453 c Elapsed CPU time: 2.94055 s Remaining CPU time: 177.059 s c =============================================================================== c | 0 | 946 1144 125248 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4450 c Elapsed CPU time: 2.98655 s Remaining CPU time: 177.013 s c =============================================================================== c | 0 | 946 1145 126098 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4449 c Elapsed CPU time: 3.03454 s Remaining CPU time: 176.965 s c =============================================================================== c | 0 | 946 1146 126948 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4448 c Elapsed CPU time: 3.08153 s Remaining CPU time: 176.918 s c =============================================================================== c | 0 | 946 1147 127798 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4447 c Elapsed CPU time: 3.13052 s Remaining CPU time: 176.869 s c =============================================================================== c | 0 | 946 1148 128648 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4443 c Elapsed CPU time: 3.18252 s Remaining CPU time: 176.817 s c =============================================================================== c | 0 | 946 1149 129498 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4442 c Elapsed CPU time: 3.23751 s Remaining CPU time: 176.762 s c =============================================================================== c | 0 | 946 1150 130348 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4440 c Elapsed CPU time: 3.2925 s Remaining CPU time: 176.708 s c =============================================================================== c | 0 | 946 1151 131198 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4436 c Elapsed CPU time: 3.34549 s Remaining CPU time: 176.655 s c =============================================================================== c | 0 | 946 1152 132048 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4433 c Elapsed CPU time: 3.40448 s Remaining CPU time: 176.596 s c =============================================================================== c | 0 | 946 1153 132898 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4430 c Elapsed CPU time: 3.46247 s Remaining CPU time: 176.538 s c =============================================================================== c | 0 | 946 1154 133748 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4429 c Elapsed CPU time: 3.51647 s Remaining CPU time: 176.484 s c =============================================================================== c | 0 | 946 1155 134598 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4427 c Elapsed CPU time: 3.57246 s Remaining CPU time: 176.428 s c =============================================================================== c | 0 | 946 1156 135448 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4422 c Elapsed CPU time: 3.62845 s Remaining CPU time: 176.372 s c =============================================================================== c | 0 | 946 1157 136298 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4419 c Elapsed CPU time: 3.68544 s Remaining CPU time: 176.315 s c =============================================================================== c | 0 | 946 1158 137148 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4417 c Elapsed CPU time: 3.74743 s Remaining CPU time: 176.253 s c =============================================================================== c | 0 | 946 1159 137998 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4416 c Elapsed CPU time: 3.80542 s Remaining CPU time: 176.195 s c =============================================================================== c | 0 | 946 1160 138848 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4413 c Elapsed CPU time: 3.86741 s Remaining CPU time: 176.133 s c =============================================================================== c | 0 | 946 1161 139698 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4409 c Elapsed CPU time: 3.9274 s Remaining CPU time: 176.073 s c =============================================================================== c | 0 | 946 1162 140548 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4407 c Elapsed CPU time: 3.98739 s Remaining CPU time: 176.013 s c =============================================================================== c | 0 | 946 1163 141398 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4404 c Elapsed CPU time: 4.04938 s Remaining CPU time: 175.951 s c =============================================================================== c | 0 | 946 1164 142248 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4401 c Elapsed CPU time: 4.10837 s Remaining CPU time: 175.892 s c =============================================================================== c | 0 | 946 1165 143098 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4400 c Elapsed CPU time: 4.17337 s Remaining CPU time: 175.827 s c =============================================================================== c | 0 | 946 1166 143948 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4399 c Elapsed CPU time: 4.23536 s Remaining CPU time: 175.765 s c =============================================================================== c | 0 | 946 1167 144798 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4398 c Elapsed CPU time: 4.29735 s Remaining CPU time: 175.703 s c =============================================================================== c | 0 | 946 1168 145648 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4397 c Elapsed CPU time: 4.36034 s Remaining CPU time: 175.64 s c =============================================================================== c | 0 | 946 1169 146498 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4396 c Elapsed CPU time: 4.42333 s Remaining CPU time: 175.577 s c =============================================================================== c | 0 | 946 1170 147348 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4395 c Elapsed CPU time: 4.48432 s Remaining CPU time: 175.516 s c =============================================================================== c | 0 | 946 1171 148198 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4392 c Elapsed CPU time: 4.54631 s Remaining CPU time: 175.454 s c =============================================================================== c | 0 | 946 1172 149048 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4391 c Elapsed CPU time: 4.6073 s Remaining CPU time: 175.393 s c =============================================================================== c | 0 | 946 1173 149898 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4389 c Elapsed CPU time: 4.66829 s Remaining CPU time: 175.332 s c =============================================================================== c | 0 | 946 1174 150748 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4388 c Elapsed CPU time: 4.73028 s Remaining CPU time: 175.27 s c =============================================================================== c | 0 | 946 1175 151598 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4387 c Elapsed CPU time: 4.79227 s Remaining CPU time: 175.208 s c =============================================================================== c | 0 | 946 1176 152448 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4382 c Elapsed CPU time: 4.85526 s Remaining CPU time: 175.145 s c =============================================================================== c | 0 | 946 1177 153298 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4378 c Elapsed CPU time: 4.91625 s Remaining CPU time: 175.084 s c =============================================================================== c | 0 | 946 1178 154148 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4376 c Elapsed CPU time: 4.97924 s Remaining CPU time: 175.021 s c =============================================================================== c | 0 | 946 1179 154998 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4374 c Elapsed CPU time: 5.04223 s Remaining CPU time: 174.958 s c =============================================================================== c | 0 | 946 1180 155848 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4370 c Elapsed CPU time: 5.10522 s Remaining CPU time: 174.895 s c =============================================================================== c | 0 | 946 1181 156698 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4366 c Elapsed CPU time: 5.16721 s Remaining CPU time: 174.833 s c =============================================================================== c | 0 | 946 1182 157548 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4364 c Elapsed CPU time: 5.2302 s Remaining CPU time: 174.77 s c =============================================================================== c | 0 | 946 1183 158398 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4363 c Elapsed CPU time: 5.29219 s Remaining CPU time: 174.708 s c =============================================================================== c | 0 | 946 1184 159248 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4360 c Elapsed CPU time: 5.35719 s Remaining CPU time: 174.643 s c =============================================================================== c | 0 | 946 1185 160098 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4357 c Elapsed CPU time: 5.42317 s Remaining CPU time: 174.577 s c =============================================================================== c | 0 | 946 1186 160948 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4356 c Elapsed CPU time: 5.48717 s Remaining CPU time: 174.513 s c =============================================================================== c | 0 | 946 1187 161798 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4355 c Elapsed CPU time: 5.55316 s Remaining CPU time: 174.447 s c =============================================================================== c | 0 | 946 1188 162648 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4351 c Elapsed CPU time: 5.61815 s Remaining CPU time: 174.382 s c =============================================================================== c | 0 | 946 1189 163498 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4350 c Elapsed CPU time: 5.68414 s Remaining CPU time: 174.316 s c =============================================================================== c | 0 | 946 1190 164348 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4345 c Elapsed CPU time: 5.74613 s Remaining CPU time: 174.254 s c =============================================================================== c | 0 | 946 1191 165198 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4344 c Elapsed CPU time: 5.81512 s Remaining CPU time: 174.185 s c =============================================================================== c | 0 | 946 1192 166048 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4339 c Elapsed CPU time: 5.88011 s Remaining CPU time: 174.12 s c =============================================================================== c | 0 | 946 1193 166898 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4337 c Elapsed CPU time: 5.9451 s Remaining CPU time: 174.055 s c =============================================================================== c | 0 | 946 1194 167748 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4334 c Elapsed CPU time: 6.00709 s Remaining CPU time: 173.993 s c =============================================================================== c | 0 | 946 1195 168598 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4333 c Elapsed CPU time: 6.07208 s Remaining CPU time: 173.928 s c =============================================================================== c | 0 | 946 1196 169448 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4331 c Elapsed CPU time: 6.14007 s Remaining CPU time: 173.86 s c =============================================================================== c | 0 | 946 1197 170298 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4330 c Elapsed CPU time: 6.21105 s Remaining CPU time: 173.789 s c =============================================================================== c | 0 | 946 1198 171148 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4328 c Elapsed CPU time: 6.27804 s Remaining CPU time: 173.722 s c =============================================================================== c | 0 | 946 1199 171998 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4327 c Elapsed CPU time: 6.34603 s Remaining CPU time: 173.654 s c =============================================================================== c | 0 | 946 1200 172848 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4326 c Elapsed CPU time: 6.41702 s Remaining CPU time: 173.583 s c =============================================================================== c | 0 | 946 1201 173698 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4324 c Elapsed CPU time: 6.48601 s Remaining CPU time: 173.514 s c =============================================================================== c | 0 | 946 1202 174548 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4323 c Elapsed CPU time: 6.56 s Remaining CPU time: 173.44 s c =============================================================================== c | 0 | 946 1203 175398 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4321 c Elapsed CPU time: 6.62899 s Remaining CPU time: 173.371 s c =============================================================================== c | 0 | 946 1204 176248 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4319 c Elapsed CPU time: 6.70298 s Remaining CPU time: 173.297 s c =============================================================================== c | 0 | 946 1205 177098 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4318 c Elapsed CPU time: 6.77497 s Remaining CPU time: 173.225 s c =============================================================================== c | 0 | 946 1206 177948 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4317 c Elapsed CPU time: 6.84896 s Remaining CPU time: 173.151 s c =============================================================================== c | 0 | 946 1207 178798 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4316 c Elapsed CPU time: 6.92295 s Remaining CPU time: 173.077 s c =============================================================================== c | 0 | 946 1208 179648 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4315 c Elapsed CPU time: 6.99594 s Remaining CPU time: 173.004 s c =============================================================================== c | 0 | 946 1209 180498 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4312 c Elapsed CPU time: 7.07292 s Remaining CPU time: 172.927 s c =============================================================================== c | 1 | 946 1210 181348 | 5000 1 797 | 0.000 % | c =============================================================================== c New solution: 4311 c Elapsed CPU time: 7.15791 s Remaining CPU time: 172.842 s c =============================================================================== c | 1 | 946 1211 182198 | 5000 1 797 | 0.000 % | c =============================================================================== c New solution: 4310 c Elapsed CPU time: 7.2509 s Remaining CPU time: 172.749 s c =============================================================================== c | 1 | 946 1212 183048 | 5000 1 797 | 0.000 % | c =============================================================================== c New solution: 4307 c Elapsed CPU time: 7.34088 s Remaining CPU time: 172.659 s c =============================================================================== c | 1 | 946 1213 183898 | 5000 1 797 | 0.000 % | c =============================================================================== c New solution: 4306 c Elapsed CPU time: 7.43987 s Remaining CPU time: 172.56 s c =============================================================================== c | 1 | 946 1214 184748 | 5000 1 797 | 0.000 % | c =============================================================================== c New solution: 4305 c Elapsed CPU time: 7.52386 s Remaining CPU time: 172.476 s c =============================================================================== c | 1 | 946 1215 185598 | 5000 1 797 | 0.000 % | c =============================================================================== c New solution: 4303 c Elapsed CPU time: 7.60084 s Remaining CPU time: 172.399 s c =============================================================================== c | 1 | 946 1216 186448 | 5000 1 797 | 0.000 % | c =============================================================================== c New solution: 4302 c Elapsed CPU time: 7.67883 s Remaining CPU time: 172.321 s c =============================================================================== c | 1 | 946 1217 187298 | 5000 1 797 | 0.000 % | c =============================================================================== c New solution: 4300 c Elapsed CPU time: 7.75582 s Remaining CPU time: 172.244 s c =============================================================================== c | 1 | 946 1218 188148 | 5000 1 797 | 0.000 % | c =============================================================================== c New solution: 4299 c Elapsed CPU time: 7.83281 s Remaining CPU time: 172.167 s c =============================================================================== c | 1 | 946 1219 188998 | 5000 1 797 | 0.000 % | c =============================================================================== c New solution: 4298 c Elapsed CPU time: 7.9178 s Remaining CPU time: 172.082 s c =============================================================================== c | 2 | 946 1220 189848 | 5000 2 794 | 0.000 % | c =============================================================================== c New solution: 4297 c Elapsed CPU time: 8.00478 s Remaining CPU time: 171.995 s c =============================================================================== c | 2 | 946 1221 190698 | 5000 2 794 | 0.000 % | c =============================================================================== c New solution: 4296 c Elapsed CPU time: 8.09377 s Remaining CPU time: 171.906 s c =============================================================================== c | 2 | 946 1222 191548 | 5000 2 794 | 0.000 % | c =============================================================================== c New solution: 4295 c Elapsed CPU time: 8.17576 s Remaining CPU time: 171.824 s c =============================================================================== c | 2 | 946 1223 192398 | 5000 2 794 | 0.000 % | c =============================================================================== c New solution: 4294 c Elapsed CPU time: 8.25874 s Remaining CPU time: 171.741 s c =============================================================================== c | 2 | 946 1224 193248 | 5000 2 794 | 0.000 % | c =============================================================================== c New solution: 4293 c Elapsed CPU time: 8.34373 s Remaining CPU time: 171.656 s c =============================================================================== c | 4 | 946 1225 194098 | 5000 4 791 | 0.000 % | c =============================================================================== c New solution: 4292 c Elapsed CPU time: 8.42372 s Remaining CPU time: 171.576 s c =============================================================================== c | 4 | 946 1226 194948 | 5000 4 791 | 0.000 % | c =============================================================================== c New solution: 4291 c Elapsed CPU time: 8.50671 s Remaining CPU time: 171.493 s c =============================================================================== c | 4 | 946 1227 195798 | 5000 4 791 | 0.000 % | c =============================================================================== c New solution: 4290 c Elapsed CPU time: 8.58669 s Remaining CPU time: 171.413 s c =============================================================================== c | 4 | 946 1228 196648 | 5000 4 791 | 0.000 % | c =============================================================================== c New solution: 4289 c Elapsed CPU time: 8.67668 s Remaining CPU time: 171.323 s c =============================================================================== c | 6 | 946 1229 197498 | 5000 6 790 | 0.000 % | c =============================================================================== c New solution: 4288 c Elapsed CPU time: 8.76567 s Remaining CPU time: 171.234 s c =============================================================================== c | 6 | 946 1230 198348 | 5000 6 790 | 0.000 % | c =============================================================================== c New solution: 4287 c Elapsed CPU time: 8.85265 s Remaining CPU time: 171.147 s c =============================================================================== c | 6 | 946 1231 199198 | 5000 6 790 | 0.000 % | c =============================================================================== c New solution: 4286 c Elapsed CPU time: 8.94064 s Remaining CPU time: 171.059 s c =============================================================================== c | 6 | 946 1232 200048 | 5000 6 790 | 0.000 % | c =============================================================================== c New solution: 4285 c Elapsed CPU time: 9.02963 s Remaining CPU time: 170.97 s c =============================================================================== c | 6 | 946 1233 200898 | 5000 6 790 | 0.000 % | c =============================================================================== c New solution: 4284 c Elapsed CPU time: 9.12061 s Remaining CPU time: 170.879 s c =============================================================================== c | 6 | 946 1234 201748 | 5000 6 790 | 0.000 % | c =============================================================================== c New solution: 4283 c Elapsed CPU time: 9.2076 s Remaining CPU time: 170.792 s c =============================================================================== c | 6 | 946 1235 202598 | 5000 6 790 | 0.000 % | c =============================================================================== c New solution: 4282 c Elapsed CPU time: 9.29359 s Remaining CPU time: 170.706 s c =============================================================================== c | 6 | 946 1236 203448 | 5000 6 790 | 0.000 % | c =============================================================================== c New solution: 4281 c Elapsed CPU time: 9.37857 s Remaining CPU time: 170.621 s c =============================================================================== c | 6 | 946 1237 204298 | 5000 6 790 | 0.000 % | c =============================================================================== c New solution: 4280 c Elapsed CPU time: 9.47256 s Remaining CPU time: 170.527 s c =============================================================================== c | 6 | 946 1238 205148 | 5000 6 790 | 0.000 % | c =============================================================================== c New solution: 4279 c Elapsed CPU time: 9.56555 s Remaining CPU time: 170.434 s c =============================================================================== c | 6 | 946 1239 205998 | 5000 6 790 | 0.000 % | c =============================================================================== c New solution: 4278 c Elapsed CPU time: 9.66253 s Remaining CPU time: 170.337 s c =============================================================================== c | 8 | 946 1240 206848 | 5000 8 789 | 0.000 % | c =============================================================================== c New solution: 4277 c Elapsed CPU time: 9.76052 s Remaining CPU time: 170.239 s c =============================================================================== c | 8 | 946 1241 207698 | 5000 8 789 | 0.000 % | c =============================================================================== c New solution: 4276 c Elapsed CPU time: 9.8585 s Remaining CPU time: 170.141 s c =============================================================================== c | 8 | 946 1242 208548 | 5000 8 789 | 0.000 % | c =============================================================================== c New solution: 4275 c Elapsed CPU time: 9.95049 s Remaining CPU time: 170.05 s c =============================================================================== c | 8 | 946 1243 209398 | 5000 8 789 | 0.000 % | c =============================================================================== c New solution: 4274 c Elapsed CPU time: 10.0505 s Remaining CPU time: 169.95 s c =============================================================================== c | 8 | 946 1244 210248 | 5000 8 789 | 0.000 % | c =============================================================================== c New solution: 4273 c Elapsed CPU time: 10.1485 s Remaining CPU time: 169.852 s c =============================================================================== c | 8 | 946 1245 211098 | 5000 8 789 | 0.000 % | c =============================================================================== c New solution: 4272 c Elapsed CPU time: 10.2424 s Remaining CPU time: 169.758 s c =============================================================================== c | 8 | 946 1246 211948 | 5000 8 789 | 0.000 % | c =============================================================================== c New solution: 4271 c Elapsed CPU time: 10.3394 s Remaining CPU time: 169.661 s c =============================================================================== c | 8 | 946 1247 212798 | 5000 8 789 | 0.000 % | c =============================================================================== c New solution: 4270 c Elapsed CPU time: 10.4344 s Remaining CPU time: 169.566 s c =============================================================================== c | 8 | 946 1248 213648 | 5000 8 789 | 0.000 % | c =============================================================================== c New solution: 4269 c Elapsed CPU time: 10.5214 s Remaining CPU time: 169.479 s c =============================================================================== c | 8 | 946 1249 214498 | 5000 8 789 | 0.000 % | c =============================================================================== c New solution: 4268 c Elapsed CPU time: 10.6194 s Remaining CPU time: 169.381 s c =============================================================================== c | 10 | 946 1250 215348 | 5000 10 788 | 0.000 % | c =============================================================================== c New solution: 4267 c Elapsed CPU time: 10.7194 s Remaining CPU time: 169.281 s c =============================================================================== c | 10 | 946 1251 216198 | 5000 10 788 | 0.000 % | c =============================================================================== c New solution: 4266 c Elapsed CPU time: 10.8174 s Remaining CPU time: 169.183 s c =============================================================================== c | 10 | 946 1252 217048 | 5000 10 788 | 0.000 % | c =============================================================================== c New solution: 4265 c Elapsed CPU time: 10.9123 s Remaining CPU time: 169.088 s c =============================================================================== c | 10 | 946 1253 217898 | 5000 10 788 | 0.000 % | c =============================================================================== c New solution: 4264 c Elapsed CPU time: 11.0053 s Remaining CPU time: 168.995 s c =============================================================================== c | 10 | 946 1254 218748 | 5000 10 788 | 0.000 % | c =============================================================================== c New solution: 4263 c Elapsed CPU time: 11.1013 s Remaining CPU time: 168.899 s c =============================================================================== c | 10 | 946 1255 219598 | 5000 10 788 | 0.000 % | c =============================================================================== c New solution: 4262 c Elapsed CPU time: 11.1963 s Remaining CPU time: 168.804 s c =============================================================================== c | 10 | 946 1256 220448 | 5000 10 788 | 0.000 % | c =============================================================================== c New solution: 4261 c Elapsed CPU time: 11.2843 s Remaining CPU time: 168.716 s c =============================================================================== c | 10 | 946 1257 221298 | 5000 10 788 | 0.000 % | c =============================================================================== c New solution: 4260 c Elapsed CPU time: 11.3883 s Remaining CPU time: 168.612 s c =============================================================================== c | 10 | 946 1258 222148 | 5000 10 788 | 0.000 % | c =============================================================================== c New solution: 4259 c Elapsed CPU time: 11.4893 s Remaining CPU time: 168.511 s c =============================================================================== c | 12 | 946 1259 222998 | 5000 12 787 | 0.000 % | c =============================================================================== c New solution: 4258 c Elapsed CPU time: 11.5882 s Remaining CPU time: 168.412 s c =============================================================================== c | 12 | 946 1260 223848 | 5000 12 787 | 0.000 % | c =============================================================================== c New solution: 4257 c Elapsed CPU time: 11.6882 s Remaining CPU time: 168.312 s c =============================================================================== c | 12 | 946 1261 224698 | 5000 12 787 | 0.000 % | c =============================================================================== c New solution: 4256 c Elapsed CPU time: 11.7812 s Remaining CPU time: 168.219 s c =============================================================================== c | 12 | 946 1262 225548 | 5000 12 787 | 0.000 % | c =============================================================================== c New solution: 4255 c Elapsed CPU time: 11.8882 s Remaining CPU time: 168.112 s c =============================================================================== c | 12 | 946 1263 226398 | 5000 12 787 | 0.000 % | c =============================================================================== c New solution: 4254 c Elapsed CPU time: 11.9902 s Remaining CPU time: 168.01 s c =============================================================================== c | 12 | 946 1264 227248 | 5000 12 787 | 0.000 % | c =============================================================================== c New solution: 4253 c Elapsed CPU time: 12.0912 s Remaining CPU time: 167.909 s c =============================================================================== c | 12 | 946 1265 228098 | 5000 12 787 | 0.000 % | c =============================================================================== c New solution: 4252 c Elapsed CPU time: 12.1841 s Remaining CPU time: 167.816 s c =============================================================================== c | 12 | 946 1266 228948 | 5000 12 787 | 0.000 % | c =============================================================================== c New solution: 4251 c Elapsed CPU time: 12.2801 s Remaining CPU time: 167.72 s c =============================================================================== c | 12 | 946 1267 229798 | 5000 12 787 | 0.000 % | c =============================================================================== c New solution: 4250 c Elapsed CPU time: 12.3821 s Remaining CPU time: 167.618 s c =============================================================================== c | 12 | 946 1268 230648 | 5000 12 787 | 0.000 % | c =============================================================================== c New solution: 4249 c Elapsed CPU time: 12.4821 s Remaining CPU time: 167.518 s c =============================================================================== c | 12 | 946 1269 231498 | 5000 12 787 | 0.000 % | c =============================================================================== c New solution: 4248 c Elapsed CPU time: 12.5791 s Remaining CPU time: 167.421 s c =============================================================================== c | 12 | 946 1270 232348 | 5000 12 787 | 0.000 % | c =============================================================================== c New solution: 4247 c Elapsed CPU time: 12.6841 s Remaining CPU time: 167.316 s c =============================================================================== c | 12 | 946 1271 233198 | 5000 12 787 | 0.000 % | c =============================================================================== c New solution: 4246 c Elapsed CPU time: 12.7921 s Remaining CPU time: 167.208 s c =============================================================================== c | 12 | 946 1272 234048 | 5000 12 787 | 0.000 % | c =============================================================================== c New solution: 4245 c Elapsed CPU time: 12.893 s Remaining CPU time: 167.107 s c =============================================================================== c | 12 | 946 1273 234898 | 5000 12 787 | 0.000 % | c =============================================================================== c New solution: 4244 c Elapsed CPU time: 13.004 s Remaining CPU time: 166.996 s c =============================================================================== c | 12 | 946 1274 235748 | 5000 12 787 | 0.000 % | c =============================================================================== c New solution: 4243 c Elapsed CPU time: 13.102 s Remaining CPU time: 166.898 s c =============================================================================== c | 12 | 946 1275 236598 | 5000 12 787 | 0.000 % | c =============================================================================== c New solution: 4242 c Elapsed CPU time: 13.199 s Remaining CPU time: 166.801 s c =============================================================================== c | 12 | 946 1276 237448 | 5000 12 787 | 0.000 % | c =============================================================================== c New solution: 4241 c Elapsed CPU time: 13.31 s Remaining CPU time: 166.69 s c =============================================================================== c | 16 | 946 1277 238298 | 5000 16 785 | 0.000 % | c =============================================================================== c New solution: 4240 c Elapsed CPU time: 13.414 s Remaining CPU time: 166.586 s c =============================================================================== c | 17 | 946 1278 239148 | 5000 17 785 | 0.000 % | c =============================================================================== c New solution: 4239 c Elapsed CPU time: 13.5159 s Remaining CPU time: 166.484 s c =============================================================================== c | 17 | 946 1279 239998 | 5000 17 785 | 0.000 % | c =============================================================================== c New solution: 4238 c Elapsed CPU time: 13.6179 s Remaining CPU time: 166.382 s c =============================================================================== c | 17 | 946 1280 240848 | 5000 17 785 | 0.000 % | c =============================================================================== c New solution: 4237 c Elapsed CPU time: 13.7249 s Remaining CPU time: 166.275 s c =============================================================================== c | 18 | 946 1281 241698 | 5000 18 784 | 0.000 % | c =============================================================================== c New solution: 4236 c Elapsed CPU time: 13.8329 s Remaining CPU time: 166.167 s c =============================================================================== c | 18 | 946 1282 242548 | 5000 18 784 | 0.000 % | c =============================================================================== c New solution: 4235 c Elapsed CPU time: 13.9509 s Remaining CPU time: 166.049 s c =============================================================================== c | 18 | 946 1283 243398 | 5000 18 784 | 0.000 % | c =============================================================================== c New solution: 4234 c Elapsed CPU time: 14.0709 s Remaining CPU time: 165.929 s c =============================================================================== c | 18 | 946 1284 244248 | 5000 18 784 | 0.000 % | c =============================================================================== c New solution: 4233 c Elapsed CPU time: 14.1818 s Remaining CPU time: 165.818 s c =============================================================================== c | 18 | 946 1285 245098 | 5000 18 784 | 0.000 % | c =============================================================================== c New solution: 4232 c Elapsed CPU time: 14.2878 s Remaining CPU time: 165.712 s c =============================================================================== c | 18 | 946 1286 245948 | 5000 18 784 | 0.000 % | c =============================================================================== c New solution: 4231 c Elapsed CPU time: 14.3998 s Remaining CPU time: 165.6 s c =============================================================================== c | 18 | 946 1287 246798 | 5000 18 784 | 0.000 % | c =============================================================================== c New solution: 4230 c Elapsed CPU time: 14.5318 s Remaining CPU time: 165.468 s c =============================================================================== c | 18 | 946 1288 247648 | 5000 18 784 | 0.000 % | c =============================================================================== c New solution: 4229 c Elapsed CPU time: 14.6528 s Remaining CPU time: 165.347 s c =============================================================================== c | 22 | 946 1289 248498 | 5000 22 783 | 0.000 % | c =============================================================================== c New solution: 4228 c Elapsed CPU time: 14.7728 s Remaining CPU time: 165.227 s c =============================================================================== c | 22 | 946 1290 249348 | 5000 22 783 | 0.000 % | c =============================================================================== c New solution: 4227 c Elapsed CPU time: 14.8957 s Remaining CPU time: 165.104 s c =============================================================================== c | 22 | 946 1291 250198 | 5000 22 783 | 0.000 % | c =============================================================================== c New solution: 4226 c Elapsed CPU time: 15.0237 s Remaining CPU time: 164.976 s c =============================================================================== c | 24 | 946 1292 251048 | 5000 24 782 | 0.000 % | c =============================================================================== c New solution: 4225 c Elapsed CPU time: 15.1347 s Remaining CPU time: 164.865 s c =============================================================================== c | 24 | 946 1293 251898 | 5000 24 782 | 0.000 % | c =============================================================================== c New solution: 4224 c Elapsed CPU time: 15.2407 s Remaining CPU time: 164.759 s c =============================================================================== c | 24 | 946 1294 252748 | 5000 24 782 | 0.000 % | c =============================================================================== c New solution: 4223 c Elapsed CPU time: 15.3537 s Remaining CPU time: 164.646 s c =============================================================================== c | 24 | 946 1295 253598 | 5000 24 782 | 0.000 % | c =============================================================================== c New solution: 4222 c Elapsed CPU time: 15.4816 s Remaining CPU time: 164.518 s c =============================================================================== c | 24 | 946 1296 254448 | 5000 24 782 | 0.000 % | c =============================================================================== c New solution: 4221 c Elapsed CPU time: 15.6186 s Remaining CPU time: 164.381 s c =============================================================================== c | 24 | 946 1297 255298 | 5000 24 782 | 0.000 % | c =============================================================================== c New solution: 4220 c Elapsed CPU time: 15.7416 s Remaining CPU time: 164.258 s c =============================================================================== c | 24 | 946 1298 256148 | 5000 24 782 | 0.000 % | c =============================================================================== c New solution: 4219 c Elapsed CPU time: 15.8636 s Remaining CPU time: 164.136 s c =============================================================================== c | 24 | 946 1299 256998 | 5000 24 782 | 0.000 % | c =============================================================================== c New solution: 4218 c Elapsed CPU time: 15.9806 s Remaining CPU time: 164.019 s c =============================================================================== c | 24 | 946 1300 257848 | 5000 24 782 | 0.000 % | c =============================================================================== c New solution: 4217 c Elapsed CPU time: 16.1006 s Remaining CPU time: 163.899 s c =============================================================================== c | 25 | 946 1301 258698 | 5000 25 782 | 0.000 % | c =============================================================================== c New solution: 4216 c Elapsed CPU time: 16.2275 s Remaining CPU time: 163.772 s c =============================================================================== c | 25 | 946 1302 259548 | 5000 25 782 | 0.000 % | c =============================================================================== c New solution: 4215 c Elapsed CPU time: 16.3435 s Remaining CPU time: 163.656 s c =============================================================================== c | 25 | 946 1303 260398 | 5000 25 782 | 0.000 % | c =============================================================================== c New solution: 4214 c Elapsed CPU time: 16.4635 s Remaining CPU time: 163.537 s c =============================================================================== c | 25 | 946 1304 261248 | 5000 25 782 | 0.000 % | c =============================================================================== c New solution: 4213 c Elapsed CPU time: 16.5815 s Remaining CPU time: 163.419 s c =============================================================================== c | 25 | 946 1305 262098 | 5000 25 782 | 0.000 % | c =============================================================================== c New solution: 4212 c Elapsed CPU time: 16.7045 s Remaining CPU time: 163.296 s c =============================================================================== c | 25 | 946 1306 262948 | 5000 25 782 | 0.000 % | c =============================================================================== c New solution: 4211 c Elapsed CPU time: 16.8204 s Remaining CPU time: 163.18 s c =============================================================================== c | 25 | 946 1307 263798 | 5000 25 782 | 0.000 % | c =============================================================================== c New solution: 4210 c Elapsed CPU time: 16.9434 s Remaining CPU time: 163.057 s c =============================================================================== c | 25 | 946 1308 264648 | 5000 25 782 | 0.000 % | c =============================================================================== c New solution: 4209 c Elapsed CPU time: 17.0664 s Remaining CPU time: 162.934 s c =============================================================================== c | 25 | 946 1309 265498 | 5000 25 782 | 0.000 % | c =============================================================================== c New solution: 4208 c Elapsed CPU time: 17.2044 s Remaining CPU time: 162.796 s c =============================================================================== c | 31 | 946 1310 266348 | 5000 31 780 | 0.000 % | c =============================================================================== c New solution: 4207 c Elapsed CPU time: 17.3304 s Remaining CPU time: 162.67 s c =============================================================================== c | 31 | 946 1311 267198 | 5000 31 780 | 0.000 % | c =============================================================================== c New solution: 4206 c Elapsed CPU time: 17.4603 s Remaining CPU time: 162.54 s c =============================================================================== c | 34 | 946 1312 268048 | 5000 34 780 | 0.000 % | c =============================================================================== c New solution: 4205 c Elapsed CPU time: 17.5883 s Remaining CPU time: 162.412 s c =============================================================================== c | 35 | 946 1313 268898 | 5000 35 779 | 0.000 % | c =============================================================================== c New solution: 4204 c Elapsed CPU time: 17.7153 s Remaining CPU time: 162.285 s c =============================================================================== c | 36 | 946 1314 269748 | 5000 36 779 | 0.000 % | c =============================================================================== c New solution: 4203 c Elapsed CPU time: 17.8393 s Remaining CPU time: 162.161 s c =============================================================================== c | 38 | 946 1315 270598 | 5000 38 779 | 0.000 % | c =============================================================================== c New solution: 4202 c Elapsed CPU time: 17.9693 s Remaining CPU time: 162.031 s c =============================================================================== c | 38 | 946 1316 271448 | 5000 38 779 | 0.000 % | c =============================================================================== c New solution: 4201 c Elapsed CPU time: 18.1172 s Remaining CPU time: 161.883 s c =============================================================================== c | 38 | 946 1317 272298 | 5000 38 779 | 0.000 % | c =============================================================================== c New solution: 4200 c Elapsed CPU time: 18.2592 s Remaining CPU time: 161.741 s c =============================================================================== c | 38 | 946 1318 273148 | 5000 38 779 | 0.000 % | c =============================================================================== c New solution: 4199 c Elapsed CPU time: 18.4042 s Remaining CPU time: 161.596 s c =============================================================================== c | 38 | 946 1319 273998 | 5000 38 779 | 0.000 % | c =============================================================================== c New solution: 4198 c Elapsed CPU time: 18.5522 s Remaining CPU time: 161.448 s c =============================================================================== c | 38 | 946 1320 274848 | 5000 38 779 | 0.000 % | c =============================================================================== c New solution: 4197 c Elapsed CPU time: 18.6802 s Remaining CPU time: 161.32 s c =============================================================================== c | 38 | 946 1321 275698 | 5000 38 779 | 0.000 % | c =============================================================================== c New solution: 4196 c Elapsed CPU time: 18.8131 s Remaining CPU time: 161.187 s c =============================================================================== c | 38 | 946 1322 276548 | 5000 38 779 | 0.000 % | c =============================================================================== c New solution: 4195 c Elapsed CPU time: 18.9391 s Remaining CPU time: 161.061 s c =============================================================================== c | 39 | 946 1323 277398 | 5000 39 779 | 0.000 % | c =============================================================================== c New solution: 4194 c Elapsed CPU time: 19.0631 s Remaining CPU time: 160.937 s c =============================================================================== c | 39 | 946 1324 278248 | 5000 39 779 | 0.000 % | c =============================================================================== c New solution: 4193 c Elapsed CPU time: 19.1891 s Remaining CPU time: 160.811 s c =============================================================================== c | 39 | 946 1325 279098 | 5000 39 779 | 0.000 % | c =============================================================================== c New solution: 4192 c Elapsed CPU time: 19.3271 s Remaining CPU time: 160.673 s c =============================================================================== c | 39 | 946 1326 279948 | 5000 39 779 | 0.000 % | c =============================================================================== c New solution: 4191 c Elapsed CPU time: 19.467 s Remaining CPU time: 160.533 s c =============================================================================== c | 39 | 946 1327 280798 | 5000 39 779 | 0.000 % | c =============================================================================== c New solution: 4190 c Elapsed CPU time: 19.595 s Remaining CPU time: 160.405 s c =============================================================================== c | 39 | 946 1328 281648 | 5000 39 779 | 0.000 % | c =============================================================================== c New solution: 4189 c Elapsed CPU time: 19.74 s Remaining CPU time: 160.26 s c =============================================================================== c | 42 | 946 1329 282498 | 5000 42 778 | 0.000 % | c =============================================================================== c New solution: 4188 c Elapsed CPU time: 19.868 s Remaining CPU time: 160.132 s c =============================================================================== c | 42 | 946 1330 283348 | 5000 42 778 | 0.000 % | c =============================================================================== c New solution: 4187 c Elapsed CPU time: 19.997 s Remaining CPU time: 160.003 s c =============================================================================== c | 46 | 946 1331 284198 | 5000 46 777 | 0.000 % | c =============================================================================== c New solution: 4186 c Elapsed CPU time: 20.1269 s Remaining CPU time: 159.873 s c =============================================================================== c | 46 | 946 1332 285048 | 5000 46 777 | 0.000 % | c =============================================================================== c New solution: 4185 c Elapsed CPU time: 20.2629 s Remaining CPU time: 159.737 s c =============================================================================== c | 46 | 946 1333 285898 | 5000 46 777 | 0.000 % | c =============================================================================== c New solution: 4184 c Elapsed CPU time: 20.3959 s Remaining CPU time: 159.604 s c =============================================================================== c | 48 | 946 1334 286748 | 5000 48 777 | 0.000 % | c =============================================================================== c New solution: 4183 c Elapsed CPU time: 20.5339 s Remaining CPU time: 159.466 s c =============================================================================== c | 48 | 946 1335 287598 | 5000 48 777 | 0.000 % | c =============================================================================== c New solution: 4182 c Elapsed CPU time: 20.6609 s Remaining CPU time: 159.339 s c =============================================================================== c | 48 | 946 1336 288448 | 5000 48 777 | 0.000 % | c =============================================================================== c New solution: 4181 c Elapsed CPU time: 20.7898 s Remaining CPU time: 159.21 s c =============================================================================== c | 48 | 946 1337 289298 | 5000 48 777 | 0.000 % | c =============================================================================== c New solution: 4180 c Elapsed CPU time: 20.9208 s Remaining CPU time: 159.079 s c =============================================================================== c | 48 | 946 1338 290148 | 5000 48 777 | 0.000 % | c =============================================================================== c New solution: 4179 c Elapsed CPU time: 21.0718 s Remaining CPU time: 158.928 s c =============================================================================== c | 49 | 946 1339 290998 | 5000 49 777 | 0.000 % | c =============================================================================== c New solution: 4178 c Elapsed CPU time: 21.2168 s Remaining CPU time: 158.783 s c =============================================================================== c | 49 | 946 1340 291848 | 5000 49 777 | 0.000 % | c =============================================================================== c New solution: 4177 c Elapsed CPU time: 21.3618 s Remaining CPU time: 158.638 s c =============================================================================== c | 49 | 946 1341 292698 | 5000 49 777 | 0.000 % | c =============================================================================== c New solution: 4176 c Elapsed CPU time: 21.5077 s Remaining CPU time: 158.492 s c =============================================================================== c | 49 | 946 1342 293548 | 5000 49 777 | 0.000 % | c =============================================================================== c New solution: 4175 c Elapsed CPU time: 21.6417 s Remaining CPU time: 158.358 s c =============================================================================== c | 49 | 946 1343 294398 | 5000 49 777 | 0.000 % | c =============================================================================== c New solution: 4174 c Elapsed CPU time: 21.7827 s Remaining CPU time: 158.217 s c =============================================================================== c | 50 | 946 1344 295248 | 5000 50 777 | 0.000 % | c =============================================================================== c New solution: 4173 c Elapsed CPU time: 21.9157 s Remaining CPU time: 158.084 s c =============================================================================== c | 50 | 946 1345 296098 | 5000 50 777 | 0.000 % | c =============================================================================== c New solution: 4172 c Elapsed CPU time: 22.0586 s Remaining CPU time: 157.941 s c =============================================================================== c | 51 | 946 1346 296948 | 5000 51 777 | 0.000 % | c =============================================================================== c New solution: 4171 c Elapsed CPU time: 22.1956 s Remaining CPU time: 157.804 s c =============================================================================== c | 51 | 946 1347 297798 | 5000 51 777 | 0.000 % | c =============================================================================== c New solution: 4170 c Elapsed CPU time: 22.3186 s Remaining CPU time: 157.681 s c =============================================================================== c | 52 | 946 1348 298648 | 5000 52 776 | 0.000 % | c =============================================================================== c New solution: 4169 c Elapsed CPU time: 22.4596 s Remaining CPU time: 157.54 s c =============================================================================== c | 52 | 946 1349 299498 | 5000 52 776 | 0.000 % | c =============================================================================== c New solution: 4168 c Elapsed CPU time: 22.6076 s Remaining CPU time: 157.392 s c =============================================================================== c | 52 | 946 1350 300348 | 5000 52 776 | 0.000 % | c =============================================================================== c New solution: 4167 c Elapsed CPU time: 22.7545 s Remaining CPU time: 157.245 s c =============================================================================== c | 53 | 946 1351 301198 | 5000 53 776 | 0.000 % | c =============================================================================== c New solution: 4166 c Elapsed CPU time: 22.8825 s Remaining CPU time: 157.117 s c =============================================================================== c | 53 | 946 1352 302048 | 5000 53 776 | 0.000 % | c =============================================================================== c New solution: 4165 c Elapsed CPU time: 23.0285 s Remaining CPU time: 156.972 s c =============================================================================== c | 53 | 946 1353 302898 | 5000 53 776 | 0.000 % | c =============================================================================== c New solution: 4164 c Elapsed CPU time: 23.1755 s Remaining CPU time: 156.825 s c =============================================================================== c | 53 | 946 1354 303748 | 5000 53 776 | 0.000 % | c =============================================================================== c New solution: 4163 c Elapsed CPU time: 23.3135 s Remaining CPU time: 156.687 s c =============================================================================== c | 53 | 946 1355 304598 | 5000 53 776 | 0.000 % | c =============================================================================== c New solution: 4162 c Elapsed CPU time: 23.4544 s Remaining CPU time: 156.546 s c =============================================================================== c | 53 | 946 1356 305448 | 5000 53 776 | 0.000 % | c =============================================================================== c New solution: 4161 c Elapsed CPU time: 23.5964 s Remaining CPU time: 156.404 s c =============================================================================== c | 53 | 946 1357 306298 | 5000 53 776 | 0.000 % | c =============================================================================== c New solution: 4160 c Elapsed CPU time: 23.7424 s Remaining CPU time: 156.258 s c =============================================================================== c | 53 | 946 1358 307148 | 5000 53 776 | 0.000 % | c =============================================================================== c New solution: 4159 c Elapsed CPU time: 23.8754 s Remaining CPU time: 156.125 s c =============================================================================== c | 53 | 946 1359 307998 | 5000 53 776 | 0.000 % | c =============================================================================== c New solution: 4158 c Elapsed CPU time: 24.0193 s Remaining CPU time: 155.981 s c =============================================================================== c | 53 | 946 1360 308848 | 5000 53 776 | 0.000 % | c =============================================================================== c New solution: 4157 c Elapsed CPU time: 24.1683 s Remaining CPU time: 155.832 s c =============================================================================== c | 53 | 946 1361 309698 | 5000 53 776 | 0.000 % | c =============================================================================== c New solution: 4156 c Elapsed CPU time: 24.3073 s Remaining CPU time: 155.693 s c =============================================================================== c | 53 | 946 1362 310548 | 5000 53 776 | 0.000 % | c =============================================================================== c New solution: 4155 c Elapsed CPU time: 24.4543 s Remaining CPU time: 155.546 s c =============================================================================== c | 53 | 946 1363 311398 | 5000 53 776 | 0.000 % | c =============================================================================== c New solution: 4154 c Elapsed CPU time: 24.6063 s Remaining CPU time: 155.394 s c =============================================================================== c | 53 | 946 1364 312248 | 5000 53 776 | 0.000 % | c =============================================================================== c New solution: 4153 c Elapsed CPU time: 24.7602 s Remaining CPU time: 155.24 s c =============================================================================== c | 53 | 946 1365 313098 | 5000 53 776 | 0.000 % | c =============================================================================== c New solution: 4152 c Elapsed CPU time: 24.9232 s Remaining CPU time: 155.077 s c =============================================================================== c | 53 | 946 1366 313948 | 5000 53 776 | 0.000 % | c =============================================================================== c New solution: 4151 c Elapsed CPU time: 25.0672 s Remaining CPU time: 154.933 s c =============================================================================== c | 53 | 946 1367 314798 | 5000 53 776 | 0.000 % | c =============================================================================== c New solution: 4150 c Elapsed CPU time: 25.2172 s Remaining CPU time: 154.783 s c =============================================================================== c | 53 | 946 1368 315648 | 5000 53 776 | 0.000 % | c =============================================================================== c New solution: 4149 c Elapsed CPU time: 25.3681 s Remaining CPU time: 154.632 s c =============================================================================== c | 53 | 946 1369 316498 | 5000 53 776 | 0.000 % | c =============================================================================== c New solution: 4148 c Elapsed CPU time: 25.5241 s Remaining CPU time: 154.476 s c =============================================================================== c | 53 | 946 1370 317348 | 5000 53 776 | 0.000 % | c =============================================================================== c New solution: 4147 c Elapsed CPU time: 25.6811 s Remaining CPU time: 154.319 s c =============================================================================== c | 53 | 946 1371 318198 | 5000 53 776 | 0.000 % | c =============================================================================== c New solution: 4146 c Elapsed CPU time: 25.8431 s Remaining CPU time: 154.157 s c =============================================================================== c | 53 | 946 1372 319048 | 5000 53 776 | 0.000 % | c =============================================================================== c New solution: 4145 c Elapsed CPU time: 26.005 s Remaining CPU time: 153.995 s c =============================================================================== c | 53 | 946 1373 319898 | 5000 53 776 | 0.000 % | c =============================================================================== c New solution: 4144 c Elapsed CPU time: 26.191 s Remaining CPU time: 153.809 s c =============================================================================== c | 57 | 946 1374 320748 | 5000 57 775 | 0.000 % | c =============================================================================== c New solution: 4143 c Elapsed CPU time: 26.345 s Remaining CPU time: 153.655 s c =============================================================================== c | 57 | 946 1375 321598 | 5000 57 775 | 0.000 % | c =============================================================================== c New solution: 4142 c Elapsed CPU time: 26.499 s Remaining CPU time: 153.501 s c =============================================================================== c | 58 | 946 1376 322448 | 5000 58 775 | 0.000 % | c =============================================================================== c New solution: 4141 c Elapsed CPU time: 26.6469 s Remaining CPU time: 153.353 s c =============================================================================== c | 58 | 946 1377 323298 | 5000 58 775 | 0.000 % | c =============================================================================== c New solution: 4140 c Elapsed CPU time: 26.8029 s Remaining CPU time: 153.197 s c =============================================================================== c | 58 | 946 1378 324148 | 5000 58 775 | 0.000 % | c =============================================================================== c New solution: 4139 c Elapsed CPU time: 26.9529 s Remaining CPU time: 153.047 s c =============================================================================== c | 58 | 946 1379 324998 | 5000 58 775 | 0.000 % | c =============================================================================== c New solution: 4138 c Elapsed CPU time: 27.1109 s Remaining CPU time: 152.889 s c =============================================================================== c | 58 | 946 1380 325848 | 5000 58 775 | 0.000 % | c =============================================================================== c New solution: 4137 c Elapsed CPU time: 27.2689 s Remaining CPU time: 152.731 s c =============================================================================== c | 64 | 946 1381 326698 | 5000 64 773 | 0.000 % | c =============================================================================== c New solution: 4136 c Elapsed CPU time: 27.4328 s Remaining CPU time: 152.567 s c =============================================================================== c | 65 | 946 1382 327548 | 5000 65 773 | 0.000 % | c =============================================================================== c New solution: 4135 c Elapsed CPU time: 27.5918 s Remaining CPU time: 152.408 s c =============================================================================== c | 65 | 946 1383 328398 | 5000 65 773 | 0.000 % | c =============================================================================== c New solution: 4134 c Elapsed CPU time: 27.7528 s Remaining CPU time: 152.247 s c =============================================================================== c | 65 | 946 1384 329248 | 5000 65 773 | 0.000 % | c =============================================================================== c New solution: 4133 c Elapsed CPU time: 27.9178 s Remaining CPU time: 152.082 s c =============================================================================== c | 65 | 946 1385 330098 | 5000 65 773 | 0.000 % | c =============================================================================== c New solution: 4132 c Elapsed CPU time: 28.0817 s Remaining CPU time: 151.918 s c =============================================================================== c | 66 | 946 1386 330948 | 5000 66 762 | 0.000 % | c =============================================================================== c New solution: 4131 c Elapsed CPU time: 28.2287 s Remaining CPU time: 151.771 s c =============================================================================== c | 66 | 946 1387 331798 | 5000 66 762 | 0.000 % | c =============================================================================== c New solution: 4130 c Elapsed CPU time: 28.4037 s Remaining CPU time: 151.596 s c =============================================================================== c | 67 | 946 1388 332648 | 5000 67 762 | 0.000 % | c =============================================================================== c New solution: 4129 c Elapsed CPU time: 28.5627 s Remaining CPU time: 151.437 s c =============================================================================== c | 67 | 946 1389 333498 | 5000 67 762 | 0.000 % | c =============================================================================== c New solution: 4128 c Elapsed CPU time: 28.7316 s Remaining CPU time: 151.268 s c =============================================================================== c | 67 | 946 1390 334348 | 5000 67 762 | 0.000 % | c =============================================================================== c New solution: 4127 c Elapsed CPU time: 28.8966 s Remaining CPU time: 151.103 s c =============================================================================== c | 68 | 946 1391 335198 | 5000 68 761 | 0.000 % | c =============================================================================== c New solution: 4126 c Elapsed CPU time: 29.0476 s Remaining CPU time: 150.952 s c =============================================================================== c | 68 | 946 1392 336048 | 5000 68 761 | 0.000 % | c =============================================================================== c New solution: 4125 c Elapsed CPU time: 29.2096 s Remaining CPU time: 150.79 s c =============================================================================== c | 68 | 946 1393 336898 | 5000 68 761 | 0.000 % | c =============================================================================== c New solution: 4124 c Elapsed CPU time: 29.3715 s Remaining CPU time: 150.628 s c =============================================================================== c | 68 | 946 1394 337748 | 5000 68 761 | 0.000 % | c =============================================================================== c New solution: 4123 c Elapsed CPU time: 29.5515 s Remaining CPU time: 150.448 s c =============================================================================== c | 68 | 946 1395 338598 | 5000 68 761 | 0.000 % | c =============================================================================== c New solution: 4122 c Elapsed CPU time: 29.7145 s Remaining CPU time: 150.286 s c =============================================================================== c | 68 | 946 1396 339448 | 5000 68 761 | 0.000 % | c =============================================================================== c New solution: 4121 c Elapsed CPU time: 29.8775 s Remaining CPU time: 150.123 s c =============================================================================== c | 68 | 946 1397 340298 | 5000 68 761 | 0.000 % | c =============================================================================== c New solution: 4120 c Elapsed CPU time: 30.0374 s Remaining CPU time: 149.963 s c =============================================================================== c | 68 | 946 1398 341148 | 5000 68 761 | 0.000 % | c =============================================================================== c New solution: 4119 c Elapsed CPU time: 30.1944 s Remaining CPU time: 149.806 s c =============================================================================== c | 68 | 946 1399 341998 | 5000 68 761 | 0.000 % | c =============================================================================== c New solution: 4118 c Elapsed CPU time: 30.3564 s Remaining CPU time: 149.644 s c =============================================================================== c | 68 | 946 1400 342848 | 5000 68 761 | 0.000 % | c =============================================================================== c New solution: 4117 c Elapsed CPU time: 30.5274 s Remaining CPU time: 149.473 s c =============================================================================== c | 69 | 946 1401 343698 | 5000 69 761 | 0.000 % | c =============================================================================== c New solution: 4116 c Elapsed CPU time: 30.6883 s Remaining CPU time: 149.312 s c =============================================================================== c | 69 | 946 1402 344548 | 5000 69 761 | 0.000 % | c =============================================================================== c New solution: 4115 c Elapsed CPU time: 30.8463 s Remaining CPU time: 149.154 s c =============================================================================== c | 70 | 946 1403 345398 | 5000 70 761 | 0.000 % | c =============================================================================== c New solution: 4114 c Elapsed CPU time: 31.0003 s Remaining CPU time: 149 s c =============================================================================== c | 70 | 946 1404 346248 | 5000 70 761 | 0.000 % | c =============================================================================== c New solution: 4113 c Elapsed CPU time: 31.1703 s Remaining CPU time: 148.83 s c =============================================================================== c | 70 | 946 1405 347098 | 5000 70 761 | 0.000 % | c =============================================================================== c New solution: 4112 c Elapsed CPU time: 31.3422 s Remaining CPU time: 148.658 s c =============================================================================== c | 70 | 946 1406 347948 | 5000 70 761 | 0.000 % | c =============================================================================== c New solution: 4111 c Elapsed CPU time: 31.5172 s Remaining CPU time: 148.483 s c =============================================================================== c | 75 | 946 1407 348798 | 5000 75 761 | 0.000 % | c =============================================================================== c New solution: 4110 c Elapsed CPU time: 31.6832 s Remaining CPU time: 148.317 s c =============================================================================== c | 77 | 946 1408 349648 | 5000 77 761 | 0.000 % | c =============================================================================== c New solution: 4109 c Elapsed CPU time: 31.8692 s Remaining CPU time: 148.131 s c =============================================================================== c | 83 | 946 1409 350498 | 5000 83 760 | 0.000 % | c =============================================================================== c New solution: 4108 c Elapsed CPU time: 32.0251 s Remaining CPU time: 147.975 s c =============================================================================== c | 83 | 946 1410 351348 | 5000 83 760 | 0.000 % | c =============================================================================== c New solution: 4107 c Elapsed CPU time: 32.1891 s Remaining CPU time: 147.811 s c =============================================================================== c | 84 | 946 1411 352198 | 5000 84 760 | 0.000 % | c =============================================================================== c New solution: 4106 c Elapsed CPU time: 32.3581 s Remaining CPU time: 147.642 s c =============================================================================== c | 84 | 946 1412 353048 | 5000 84 760 | 0.000 % | c =============================================================================== c New solution: 4105 c Elapsed CPU time: 32.5271 s Remaining CPU time: 147.473 s c =============================================================================== c | 84 | 946 1413 353898 | 5000 84 760 | 0.000 % | c =============================================================================== c New solution: 4104 c Elapsed CPU time: 32.685 s Remaining CPU time: 147.315 s c =============================================================================== c | 84 | 946 1414 354748 | 5000 84 760 | 0.000 % | c =============================================================================== c New solution: 4103 c Elapsed CPU time: 32.862 s Remaining CPU time: 147.138 s c =============================================================================== c | 84 | 946 1415 355598 | 5000 84 760 | 0.000 % | c =============================================================================== c New solution: 4102 c Elapsed CPU time: 33.016 s Remaining CPU time: 146.984 s c =============================================================================== c | 86 | 946 1416 356448 | 5000 86 760 | 0.000 % | c =============================================================================== c New solution: 4101 c Elapsed CPU time: 33.191 s Remaining CPU time: 146.809 s c =============================================================================== c | 86 | 946 1417 357298 | 5000 86 760 | 0.000 % | c =============================================================================== c New solution: 4100 c Elapsed CPU time: 33.3479 s Remaining CPU time: 146.652 s c =============================================================================== c | 88 | 946 1418 358148 | 5000 88 760 | 0.000 % | c =============================================================================== c New solution: 4099 c Elapsed CPU time: 33.5149 s Remaining CPU time: 146.485 s c =============================================================================== c | 89 | 946 1419 358998 | 5000 89 760 | 0.000 % | c =============================================================================== c New solution: 4098 c Elapsed CPU time: 33.6739 s Remaining CPU time: 146.326 s c =============================================================================== c | 89 | 946 1420 359848 | 5000 89 760 | 0.000 % | c =============================================================================== c New solution: 4097 c Elapsed CPU time: 33.8359 s Remaining CPU time: 146.164 s c =============================================================================== c | 89 | 946 1421 360698 | 5000 89 760 | 0.000 % | c =============================================================================== c New solution: 4096 c Elapsed CPU time: 34.0028 s Remaining CPU time: 145.997 s c =============================================================================== c | 89 | 946 1422 361548 | 5000 89 760 | 0.000 % | c =============================================================================== c New solution: 4095 c Elapsed CPU time: 34.1738 s Remaining CPU time: 145.826 s c =============================================================================== c | 90 | 946 1423 362398 | 5000 90 760 | 0.000 % | c =============================================================================== c New solution: 4094 c Elapsed CPU time: 34.3328 s Remaining CPU time: 145.667 s c =============================================================================== c | 90 | 946 1424 363248 | 5000 90 760 | 0.000 % | c =============================================================================== c New solution: 4093 c Elapsed CPU time: 34.5098 s Remaining CPU time: 145.49 s c =============================================================================== c | 90 | 946 1425 364098 | 5000 90 760 | 0.000 % | c =============================================================================== c New solution: 4092 c Elapsed CPU time: 34.6847 s Remaining CPU time: 145.315 s c =============================================================================== c | 90 | 946 1426 364948 | 5000 90 760 | 0.000 % | c =============================================================================== c New solution: 4091 c Elapsed CPU time: 34.8587 s Remaining CPU time: 145.141 s c =============================================================================== c | 92 | 946 1427 365798 | 5000 92 759 | 0.000 % | c =============================================================================== c New solution: 4090 c Elapsed CPU time: 35.0137 s Remaining CPU time: 144.986 s c =============================================================================== c | 92 | 946 1428 366648 | 5000 92 759 | 0.000 % | c =============================================================================== c New solution: 4089 c Elapsed CPU time: 35.1867 s Remaining CPU time: 144.813 s c =============================================================================== c | 92 | 946 1429 367498 | 5000 92 759 | 0.000 % | c =============================================================================== c New solution: 4088 c Elapsed CPU time: 35.3716 s Remaining CPU time: 144.628 s c =============================================================================== c | 96 | 946 1430 368348 | 5000 96 759 | 0.000 % | c =============================================================================== c New solution: 4087 c Elapsed CPU time: 35.5406 s Remaining CPU time: 144.459 s c =============================================================================== c | 96 | 946 1431 369198 | 5000 96 759 | 0.000 % | c =============================================================================== c New solution: 4086 c Elapsed CPU time: 35.7206 s Remaining CPU time: 144.279 s c =============================================================================== c | 96 | 946 1432 370048 | 5000 96 759 | 0.000 % | c =============================================================================== c New solution: 4085 c Elapsed CPU time: 35.9005 s Remaining CPU time: 144.099 s c =============================================================================== c | 96 | 946 1433 370898 | 5000 96 759 | 0.000 % | c =============================================================================== c New solution: 4084 c Elapsed CPU time: 36.0875 s Remaining CPU time: 143.912 s c =============================================================================== c | 97 | 946 1434 371748 | 5000 97 759 | 0.000 % | c =============================================================================== c New solution: 4083 c Elapsed CPU time: 36.2645 s Remaining CPU time: 143.736 s c =============================================================================== c | 97 | 946 1435 372598 | 5000 97 759 | 0.000 % | c =============================================================================== c New solution: 4082 c Elapsed CPU time: 36.4405 s Remaining CPU time: 143.56 s c =============================================================================== c | 98 | 946 1436 373448 | 5000 98 759 | 0.000 % | c =============================================================================== c New solution: 4081 c Elapsed CPU time: 36.6214 s Remaining CPU time: 143.379 s c =============================================================================== c | 102 | 946 1437 374298 | 5000 102 758 | 0.000 % | c =============================================================================== c New solution: 4080 c Elapsed CPU time: 36.7924 s Remaining CPU time: 143.208 s c =============================================================================== c | 102 | 946 1438 375148 | 5000 102 758 | 0.000 % | c =============================================================================== c New solution: 4079 c Elapsed CPU time: 36.9694 s Remaining CPU time: 143.031 s c =============================================================================== c | 102 | 946 1439 375998 | 5000 102 758 | 0.000 % | c =============================================================================== c New solution: 4078 c Elapsed CPU time: 37.1294 s Remaining CPU time: 142.871 s c =============================================================================== c | 102 | 946 1440 376848 | 5000 102 758 | 0.000 % | c =============================================================================== c New solution: 4077 c Elapsed CPU time: 37.3083 s Remaining CPU time: 142.692 s c =============================================================================== c | 104 | 946 1441 377698 | 5000 104 758 | 0.000 % | c =============================================================================== c New solution: 4076 c Elapsed CPU time: 37.4923 s Remaining CPU time: 142.508 s c =============================================================================== c | 104 | 946 1442 378548 | 5000 104 758 | 0.000 % | c =============================================================================== c New solution: 4075 c Elapsed CPU time: 37.6803 s Remaining CPU time: 142.32 s c =============================================================================== c | 105 | 946 1443 379398 | 5000 105 758 | 0.000 % | c =============================================================================== c New solution: 4074 c Elapsed CPU time: 37.8632 s Remaining CPU time: 142.137 s c =============================================================================== c | 106 | 946 1444 380248 | 5000 106 758 | 0.000 % | c =============================================================================== c New solution: 4073 c Elapsed CPU time: 38.0372 s Remaining CPU time: 141.963 s c =============================================================================== c | 106 | 946 1445 381098 | 5000 106 758 | 0.000 % | c =============================================================================== c New solution: 4072 c Elapsed CPU time: 38.2112 s Remaining CPU time: 141.789 s c =============================================================================== c | 106 | 946 1446 381948 | 5000 106 758 | 0.000 % | c =============================================================================== c New solution: 4071 c Elapsed CPU time: 38.3872 s Remaining CPU time: 141.613 s c =============================================================================== c | 113 | 946 1447 382798 | 5000 113 757 | 0.000 % | c =============================================================================== c New solution: 4070 c Elapsed CPU time: 38.5611 s Remaining CPU time: 141.439 s c =============================================================================== c | 113 | 946 1448 383648 | 5000 113 757 | 0.000 % | c =============================================================================== c New solution: 4069 c Elapsed CPU time: 38.7381 s Remaining CPU time: 141.262 s c =============================================================================== c | 113 | 946 1449 384498 | 5000 113 757 | 0.000 % | c =============================================================================== c New solution: 4068 c Elapsed CPU time: 38.9221 s Remaining CPU time: 141.078 s c =============================================================================== c | 113 | 946 1450 385348 | 5000 113 757 | 0.000 % | c =============================================================================== c New solution: 4067 c Elapsed CPU time: 39.0891 s Remaining CPU time: 140.911 s c =============================================================================== c | 113 | 946 1451 386198 | 5000 113 757 | 0.000 % | c =============================================================================== c New solution: 4066 c Elapsed CPU time: 39.265 s Remaining CPU time: 140.735 s c =============================================================================== c | 113 | 946 1452 387048 | 5000 113 757 | 0.000 % | c =============================================================================== c New solution: 4065 c Elapsed CPU time: 39.449 s Remaining CPU time: 140.551 s c =============================================================================== c | 113 | 946 1453 387898 | 5000 113 757 | 0.000 % | c =============================================================================== c New solution: 4064 c Elapsed CPU time: 39.637 s Remaining CPU time: 140.363 s c =============================================================================== c | 114 | 946 1454 388748 | 5000 114 757 | 0.000 % | c =============================================================================== c New solution: 4063 c Elapsed CPU time: 39.8199 s Remaining CPU time: 140.18 s c =============================================================================== c | 114 | 946 1455 389598 | 5000 114 757 | 0.000 % | c =============================================================================== c New solution: 4062 c Elapsed CPU time: 40.0029 s Remaining CPU time: 139.997 s c =============================================================================== c | 114 | 946 1456 390448 | 5000 114 757 | 0.000 % | c =============================================================================== c New solution: 4061 c Elapsed CPU time: 40.1809 s Remaining CPU time: 139.819 s c =============================================================================== c | 114 | 946 1457 391298 | 5000 114 757 | 0.000 % | c =============================================================================== c New solution: 4060 c Elapsed CPU time: 40.3689 s Remaining CPU time: 139.631 s c =============================================================================== c | 114 | 946 1458 392148 | 5000 114 757 | 0.000 % | c =============================================================================== c New solution: 4059 c Elapsed CPU time: 40.5488 s Remaining CPU time: 139.451 s c =============================================================================== c | 114 | 946 1459 392998 | 5000 114 757 | 0.000 % | c =============================================================================== c New solution: 4058 c Elapsed CPU time: 40.7398 s Remaining CPU time: 139.26 s c =============================================================================== c | 114 | 946 1460 393848 | 5000 114 757 | 0.000 % | c =============================================================================== c New solution: 4057 c Elapsed CPU time: 40.9288 s Remaining CPU time: 139.071 s c =============================================================================== c | 114 | 946 1461 394698 | 5000 114 757 | 0.000 % | c =============================================================================== c New solution: 4056 c Elapsed CPU time: 41.1307 s Remaining CPU time: 138.869 s c =============================================================================== c | 115 | 946 1462 395548 | 5000 115 757 | 0.000 % | c =============================================================================== c New solution: 4055 c Elapsed CPU time: 41.3107 s Remaining CPU time: 138.689 s c =============================================================================== c | 115 | 946 1463 396398 | 5000 115 757 | 0.000 % | c =============================================================================== c New solution: 4054 c Elapsed CPU time: 41.4917 s Remaining CPU time: 138.508 s c =============================================================================== c | 115 | 946 1464 397248 | 5000 115 757 | 0.000 % | c =============================================================================== c New solution: 4053 c Elapsed CPU time: 41.6767 s Remaining CPU time: 138.323 s c =============================================================================== c | 115 | 946 1465 398098 | 5000 115 757 | 0.000 % | c =============================================================================== c New solution: 4052 c Elapsed CPU time: 41.8926 s Remaining CPU time: 138.107 s c =============================================================================== c | 116 | 946 1466 398948 | 5000 116 757 | 0.000 % | c =============================================================================== c New solution: 4051 c Elapsed CPU time: 42.0756 s Remaining CPU time: 137.924 s c =============================================================================== c | 116 | 946 1467 399798 | 5000 116 757 | 0.000 % | c =============================================================================== c New solution: 4050 c Elapsed CPU time: 42.2656 s Remaining CPU time: 137.734 s c =============================================================================== c | 116 | 946 1468 400648 | 5000 116 757 | 0.000 % | c =============================================================================== c New solution: 4049 c Elapsed CPU time: 42.4645 s Remaining CPU time: 137.535 s c =============================================================================== c | 119 | 946 1469 401498 | 5000 119 757 | 0.000 % | c =============================================================================== c New solution: 4048 c Elapsed CPU time: 42.6835 s Remaining CPU time: 137.316 s c =============================================================================== c | 123 | 946 1470 402348 | 5000 123 756 | 0.000 % | c =============================================================================== c New solution: 4047 c Elapsed CPU time: 42.8945 s Remaining CPU time: 137.106 s c =============================================================================== c | 125 | 946 1471 403198 | 5000 125 756 | 0.000 % | c =============================================================================== c New solution: 4046 c Elapsed CPU time: 43.2374 s Remaining CPU time: 136.763 s c =============================================================================== c | 153 | 946 1472 404048 | 5000 153 753 | 0.000 % | c =============================================================================== c New solution: 4045 c Elapsed CPU time: 43.4254 s Remaining CPU time: 136.575 s c =============================================================================== c | 153 | 946 1473 404898 | 5000 153 753 | 0.000 % | c =============================================================================== c New solution: 4044 c Elapsed CPU time: 43.6304 s Remaining CPU time: 136.37 s c =============================================================================== c | 154 | 946 1474 405748 | 5000 154 753 | 0.000 % | c =============================================================================== c New solution: 4043 c Elapsed CPU time: 43.8423 s Remaining CPU time: 136.158 s c =============================================================================== c | 156 | 946 1475 406598 | 5000 156 753 | 0.000 % | c =============================================================================== c New solution: 4042 c Elapsed CPU time: 44.0383 s Remaining CPU time: 135.962 s c =============================================================================== c | 156 | 946 1476 407448 | 5000 156 753 | 0.000 % | c =============================================================================== c New solution: 4041 c Elapsed CPU time: 44.2423 s Remaining CPU time: 135.758 s c =============================================================================== c | 156 | 946 1477 408298 | 5000 156 753 | 0.000 % | c =============================================================================== c New solution: 4040 c Elapsed CPU time: 44.4402 s Remaining CPU time: 135.56 s c =============================================================================== c | 159 | 946 1478 409148 | 5000 159 753 | 0.000 % | c =============================================================================== c New solution: 4039 c Elapsed CPU time: 44.6562 s Remaining CPU time: 135.344 s c =============================================================================== c | 161 | 946 1479 409998 | 5000 161 753 | 0.000 % | c =============================================================================== c New solution: 4038 c Elapsed CPU time: 44.8492 s Remaining CPU time: 135.151 s c =============================================================================== c | 161 | 946 1480 410848 | 5000 161 753 | 0.000 % | c =============================================================================== c New solution: 4037 c Elapsed CPU time: 45.0432 s Remaining CPU time: 134.957 s c =============================================================================== c | 161 | 946 1481 411698 | 5000 161 753 | 0.000 % | c =============================================================================== c New solution: 4036 c Elapsed CPU time: 45.2381 s Remaining CPU time: 134.762 s c =============================================================================== c | 162 | 946 1482 412548 | 5000 162 753 | 0.000 % | c =============================================================================== c New solution: 4035 c Elapsed CPU time: 45.4601 s Remaining CPU time: 134.54 s c =============================================================================== c | 165 | 946 1483 413398 | 5000 165 753 | 0.000 % | c =============================================================================== c New solution: 4034 c Elapsed CPU time: 45.6561 s Remaining CPU time: 134.344 s c =============================================================================== c | 165 | 946 1484 414248 | 5000 165 753 | 0.000 % | c =============================================================================== c New solution: 4033 c Elapsed CPU time: 45.858 s Remaining CPU time: 134.142 s c =============================================================================== c | 165 | 946 1485 415098 | 5000 165 753 | 0.000 % | c =============================================================================== c New solution: 4032 c Elapsed CPU time: 46.069 s Remaining CPU time: 133.931 s c =============================================================================== c | 166 | 946 1486 415948 | 5000 166 753 | 0.000 % | c =============================================================================== c New solution: 4031 c Elapsed CPU time: 46.269 s Remaining CPU time: 133.731 s c =============================================================================== c | 166 | 946 1487 416798 | 5000 166 753 | 0.000 % | c =============================================================================== c New solution: 4030 c Elapsed CPU time: 46.6639 s Remaining CPU time: 133.336 s c =============================================================================== c | 191 | 946 1488 417648 | 5000 191 750 | 0.000 % | c =============================================================================== c New solution: 4029 c Elapsed CPU time: 46.8999 s Remaining CPU time: 133.1 s c =============================================================================== c | 195 | 946 1489 418498 | 5000 195 750 | 0.000 % | c =============================================================================== c New solution: 4028 c Elapsed CPU time: 47.1018 s Remaining CPU time: 132.898 s c =============================================================================== c | 196 | 946 1490 419348 | 5000 196 750 | 0.000 % | c =============================================================================== c New solution: 4027 c Elapsed CPU time: 47.3588 s Remaining CPU time: 132.641 s c =============================================================================== c | 202 | 946 1491 420198 | 5000 202 749 | 0.000 % | c =============================================================================== c New solution: 4026 c Elapsed CPU time: 47.5598 s Remaining CPU time: 132.44 s c =============================================================================== c | 203 | 946 1492 421048 | 5000 203 749 | 0.000 % | c =============================================================================== c New solution: 4025 c Elapsed CPU time: 47.7627 s Remaining CPU time: 132.237 s c =============================================================================== c | 203 | 946 1493 421898 | 5000 203 749 | 0.000 % | c =============================================================================== c New solution: 4024 c Elapsed CPU time: 47.9507 s Remaining CPU time: 132.049 s c =============================================================================== c | 203 | 946 1494 422748 | 5000 203 749 | 0.000 % | c =============================================================================== c New solution: 4023 c Elapsed CPU time: 48.1547 s Remaining CPU time: 131.845 s c =============================================================================== c | 203 | 946 1495 423598 | 5000 203 749 | 0.000 % | c =============================================================================== c New solution: 4022 c Elapsed CPU time: 48.3566 s Remaining CPU time: 131.643 s c =============================================================================== c | 203 | 946 1496 424448 | 5000 203 749 | 0.000 % | c =============================================================================== c New solution: 4021 c Elapsed CPU time: 48.5606 s Remaining CPU time: 131.439 s c =============================================================================== c | 204 | 946 1497 425298 | 5000 204 749 | 0.000 % | c =============================================================================== c New solution: 4020 c Elapsed CPU time: 48.8306 s Remaining CPU time: 131.169 s c =============================================================================== c | 212 | 946 1498 426148 | 5000 212 749 | 0.000 % | c =============================================================================== c New solution: 4019 c Elapsed CPU time: 49.0235 s Remaining CPU time: 130.976 s c =============================================================================== c | 213 | 946 1499 426998 | 5000 213 749 | 0.000 % | c =============================================================================== c New solution: 4018 c Elapsed CPU time: 49.2115 s Remaining CPU time: 130.788 s c =============================================================================== c | 215 | 946 1500 427848 | 5000 215 748 | 0.000 % | c =============================================================================== c New solution: 4017 c Elapsed CPU time: 49.4655 s Remaining CPU time: 130.535 s c =============================================================================== c | 230 | 946 1501 428698 | 5000 230 747 | 0.000 % | c =============================================================================== c New solution: 4016 c Elapsed CPU time: 49.6654 s Remaining CPU time: 130.335 s c =============================================================================== c | 230 | 946 1502 429548 | 5000 230 747 | 0.000 % | c =============================================================================== c New solution: 4015 c Elapsed CPU time: 49.8664 s Remaining CPU time: 130.134 s c =============================================================================== c | 230 | 946 1503 430398 | 5000 230 747 | 0.000 % | c =============================================================================== c New solution: 4014 c Elapsed CPU time: 50.0644 s Remaining CPU time: 129.936 s c =============================================================================== c | 236 | 946 1504 431248 | 5000 236 747 | 0.000 % | c =============================================================================== c New solution: 4013 c Elapsed CPU time: 50.2874 s Remaining CPU time: 129.713 s c =============================================================================== c | 237 | 946 1505 432098 | 5000 237 747 | 0.000 % | c =============================================================================== c New solution: 4012 c Elapsed CPU time: 50.5133 s Remaining CPU time: 129.487 s c =============================================================================== c | 239 | 946 1506 432948 | 5000 239 747 | 0.000 % | c =============================================================================== c New solution: 4011 c Elapsed CPU time: 50.7313 s Remaining CPU time: 129.269 s c =============================================================================== c | 241 | 946 1507 433798 | 5000 241 747 | 0.000 % | c =============================================================================== c New solution: 4010 c Elapsed CPU time: 50.9533 s Remaining CPU time: 129.047 s c =============================================================================== c | 243 | 946 1508 434648 | 5000 243 746 | 0.000 % | c =============================================================================== c New solution: 4009 c Elapsed CPU time: 51.1632 s Remaining CPU time: 128.837 s c =============================================================================== c | 243 | 946 1509 435498 | 5000 243 746 | 0.000 % | c =============================================================================== c New solution: 4008 c Elapsed CPU time: 51.3812 s Remaining CPU time: 128.619 s c =============================================================================== c | 244 | 946 1510 436348 | 5000 244 746 | 0.000 % | c =============================================================================== c New solution: 4007 c Elapsed CPU time: 51.5732 s Remaining CPU time: 128.427 s c =============================================================================== c | 245 | 946 1511 437198 | 5000 245 746 | 0.000 % | c =============================================================================== c New solution: 4006 c Elapsed CPU time: 51.8301 s Remaining CPU time: 128.17 s c =============================================================================== c | 250 | 946 1512 438048 | 5000 250 746 | 0.000 % | c =============================================================================== c New solution: 4005 c Elapsed CPU time: 52.0301 s Remaining CPU time: 127.97 s c =============================================================================== c | 250 | 946 1513 438898 | 5000 250 746 | 0.000 % | c =============================================================================== c New solution: 4004 c Elapsed CPU time: 52.2361 s Remaining CPU time: 127.764 s c =============================================================================== c | 250 | 946 1514 439748 | 5000 250 746 | 0.000 % | c =============================================================================== c New solution: 4003 c Elapsed CPU time: 52.498 s Remaining CPU time: 127.502 s c =============================================================================== c | 254 | 946 1515 440598 | 5000 254 746 | 0.000 % | c =============================================================================== c New solution: 4002 c Elapsed CPU time: 52.701 s Remaining CPU time: 127.299 s c =============================================================================== c | 254 | 946 1516 441448 | 5000 254 746 | 0.000 % | c =============================================================================== c New solution: 4001 c Elapsed CPU time: 52.934 s Remaining CPU time: 127.066 s c =============================================================================== c | 256 | 946 1517 442298 | 5000 256 746 | 0.000 % | c =============================================================================== c New solution: 4000 c Elapsed CPU time: 53.1289 s Remaining CPU time: 126.871 s c =============================================================================== c | 256 | 946 1518 443148 | 5000 256 746 | 0.000 % | c =============================================================================== c New solution: 3999 c Elapsed CPU time: 53.3389 s Remaining CPU time: 126.661 s c =============================================================================== c | 256 | 946 1519 443998 | 5000 256 746 | 0.000 % | c =============================================================================== c New solution: 3998 c Elapsed CPU time: 53.5469 s Remaining CPU time: 126.453 s c =============================================================================== c | 256 | 946 1520 444848 | 5000 256 746 | 0.000 % | c =============================================================================== c New solution: 3997 c Elapsed CPU time: 53.8128 s Remaining CPU time: 126.187 s c =============================================================================== c | 269 | 946 1521 445698 | 5000 269 745 | 0.000 % | c =============================================================================== c New solution: 3996 c Elapsed CPU time: 54.0308 s Remaining CPU time: 125.969 s c =============================================================================== c | 270 | 946 1522 446548 | 5000 270 745 | 0.000 % | c =============================================================================== c New solution: 3995 c Elapsed CPU time: 54.2867 s Remaining CPU time: 125.713 s c =============================================================================== c | 276 | 946 1523 447398 | 5000 276 744 | 0.000 % | c =============================================================================== c New solution: 3994 c Elapsed CPU time: 54.5127 s Remaining CPU time: 125.487 s c =============================================================================== c | 279 | 946 1524 448248 | 5000 279 744 | 0.000 % | c =============================================================================== c New solution: 3993 c Elapsed CPU time: 54.7397 s Remaining CPU time: 125.26 s c =============================================================================== c | 281 | 946 1525 449098 | 5000 281 744 | 0.000 % | c =============================================================================== c New solution: 3992 c Elapsed CPU time: 54.9426 s Remaining CPU time: 125.057 s c =============================================================================== c | 281 | 946 1526 449948 | 5000 281 744 | 0.000 % | c =============================================================================== c New solution: 3991 c Elapsed CPU time: 55.1466 s Remaining CPU time: 124.853 s c =============================================================================== c | 281 | 946 1527 450798 | 5000 281 744 | 0.000 % | c =============================================================================== c New solution: 3990 c Elapsed CPU time: 55.3946 s Remaining CPU time: 124.605 s c =============================================================================== c | 286 | 946 1528 451648 | 5000 286 744 | 0.000 % | c =============================================================================== c New solution: 3989 c Elapsed CPU time: 55.6095 s Remaining CPU time: 124.39 s c =============================================================================== c | 288 | 946 1529 452498 | 5000 288 744 | 0.000 % | c =============================================================================== c New solution: 3988 c Elapsed CPU time: 55.8565 s Remaining CPU time: 124.143 s c =============================================================================== c | 290 | 946 1530 453348 | 5000 290 744 | 0.000 % | c =============================================================================== c New solution: 3987 c Elapsed CPU time: 56.0765 s Remaining CPU time: 123.924 s c =============================================================================== c | 291 | 946 1531 454198 | 5000 291 744 | 0.000 % | c =============================================================================== c New solution: 3986 c Elapsed CPU time: 56.2824 s Remaining CPU time: 123.718 s c =============================================================================== c | 291 | 946 1532 455048 | 5000 291 744 | 0.000 % | c =============================================================================== c New solution: 3985 c Elapsed CPU time: 56.4864 s Remaining CPU time: 123.514 s c =============================================================================== c | 293 | 946 1533 455898 | 5000 293 744 | 0.000 % | c =============================================================================== c New solution: 3984 c Elapsed CPU time: 56.7314 s Remaining CPU time: 123.269 s c =============================================================================== c | 298 | 946 1534 456748 | 5000 298 743 | 0.000 % | c =============================================================================== c New solution: 3983 c Elapsed CPU time: 56.9433 s Remaining CPU time: 123.057 s c =============================================================================== c | 299 | 946 1535 457598 | 5000 299 743 | 0.000 % | c =============================================================================== c New solution: 3982 c Elapsed CPU time: 57.1593 s Remaining CPU time: 122.841 s c =============================================================================== c | 300 | 946 1536 458448 | 5000 300 743 | 0.000 % | c =============================================================================== c New solution: 3981 c Elapsed CPU time: 57.3663 s Remaining CPU time: 122.634 s c =============================================================================== c | 300 | 946 1537 459298 | 5000 300 743 | 0.000 % | c =============================================================================== c New solution: 3980 c Elapsed CPU time: 57.5872 s Remaining CPU time: 122.413 s c =============================================================================== c | 300 | 946 1538 460148 | 5000 300 743 | 0.000 % | c =============================================================================== c New solution: 3979 c Elapsed CPU time: 57.8702 s Remaining CPU time: 122.13 s c =============================================================================== c | 308 | 946 1539 460998 | 5000 308 743 | 0.000 % | c =============================================================================== c New solution: 3978 c Elapsed CPU time: 58.0942 s Remaining CPU time: 121.906 s c =============================================================================== c | 309 | 946 1540 461848 | 5000 309 743 | 0.000 % | c =============================================================================== c New solution: 3977 c Elapsed CPU time: 58.3231 s Remaining CPU time: 121.677 s c =============================================================================== c | 311 | 946 1541 462698 | 5000 311 742 | 0.000 % | c =============================================================================== c New solution: 3976 c Elapsed CPU time: 58.5391 s Remaining CPU time: 121.461 s c =============================================================================== c | 311 | 946 1542 463548 | 5000 311 742 | 0.000 % | c =============================================================================== c New solution: 3975 c Elapsed CPU time: 58.7801 s Remaining CPU time: 121.22 s c =============================================================================== c | 314 | 946 1543 464398 | 5000 314 742 | 0.000 % | c =============================================================================== c New solution: 3974 c Elapsed CPU time: 58.997 s Remaining CPU time: 121.003 s c =============================================================================== c | 314 | 946 1544 465248 | 5000 314 742 | 0.000 % | c =============================================================================== c New solution: 3973 c Elapsed CPU time: 59.262 s Remaining CPU time: 120.738 s c =============================================================================== c | 317 | 946 1545 466098 | 5000 317 742 | 0.000 % | c =============================================================================== c New solution: 3972 c Elapsed CPU time: 59.483 s Remaining CPU time: 120.517 s c =============================================================================== c | 317 | 946 1546 466948 | 5000 317 742 | 0.000 % | c =============================================================================== c New solution: 3971 c Elapsed CPU time: 59.7039 s Remaining CPU time: 120.296 s c =============================================================================== c | 317 | 946 1547 467798 | 5000 317 742 | 0.000 % | c =============================================================================== c New solution: 3970 c Elapsed CPU time: 59.9089 s Remaining CPU time: 120.091 s c =============================================================================== c | 321 | 946 1548 468648 | 5000 321 742 | 0.000 % | c =============================================================================== c New solution: 3969 c Elapsed CPU time: 60.1129 s Remaining CPU time: 119.887 s c =============================================================================== c | 321 | 946 1549 469498 | 5000 321 742 | 0.000 % | c =============================================================================== c New solution: 3968 c Elapsed CPU time: 60.3948 s Remaining CPU time: 119.605 s c =============================================================================== c | 332 | 946 1550 470348 | 5000 332 741 | 0.000 % | c =============================================================================== c New solution: 3967 c Elapsed CPU time: 60.6278 s Remaining CPU time: 119.372 s c =============================================================================== c | 332 | 946 1551 471198 | 5000 332 741 | 0.000 % | c =============================================================================== c New solution: 3966 c Elapsed CPU time: 60.8487 s Remaining CPU time: 119.151 s c =============================================================================== c | 332 | 946 1552 472048 | 5000 332 741 | 0.000 % | c =============================================================================== c New solution: 3965 c Elapsed CPU time: 61.0627 s Remaining CPU time: 118.937 s c =============================================================================== c | 332 | 946 1553 472898 | 5000 332 741 | 0.000 % | c =============================================================================== c New solution: 3964 c Elapsed CPU time: 61.2807 s Remaining CPU time: 118.719 s c =============================================================================== c | 332 | 946 1554 473748 | 5000 332 741 | 0.000 % | c =============================================================================== c New solution: 3963 c Elapsed CPU time: 61.4997 s Remaining CPU time: 118.5 s c =============================================================================== c | 332 | 946 1555 474598 | 5000 332 741 | 0.000 % | c =============================================================================== c New solution: 3962 c Elapsed CPU time: 61.7146 s Remaining CPU time: 118.285 s c =============================================================================== c | 332 | 946 1556 475448 | 5000 332 741 | 0.000 % | c =============================================================================== c New solution: 3961 c Elapsed CPU time: 61.9416 s Remaining CPU time: 118.058 s c =============================================================================== c | 332 | 946 1557 476298 | 5000 332 741 | 0.000 % | c =============================================================================== c New solution: 3960 c Elapsed CPU time: 62.1895 s Remaining CPU time: 117.81 s c =============================================================================== c | 335 | 946 1558 477148 | 5000 335 741 | 0.000 % | c =============================================================================== c New solution: 3959 c Elapsed CPU time: 62.4075 s Remaining CPU time: 117.592 s c =============================================================================== c | 335 | 946 1559 477998 | 5000 335 741 | 0.000 % | c =============================================================================== c New solution: 3958 c Elapsed CPU time: 62.6205 s Remaining CPU time: 117.38 s c =============================================================================== c | 335 | 946 1560 478848 | 5000 335 741 | 0.000 % | c =============================================================================== c New solution: 3957 c Elapsed CPU time: 62.8474 s Remaining CPU time: 117.153 s c =============================================================================== c | 335 | 946 1561 479698 | 5000 335 741 | 0.000 % | c =============================================================================== c New solution: 3956 c Elapsed CPU time: 63.0774 s Remaining CPU time: 116.923 s c =============================================================================== c | 342 | 946 1562 480548 | 5000 342 741 | 0.000 % | c =============================================================================== c New solution: 3955 c Elapsed CPU time: 63.3084 s Remaining CPU time: 116.692 s c =============================================================================== c | 342 | 946 1563 481398 | 5000 342 741 | 0.000 % | c =============================================================================== c New solution: 3954 c Elapsed CPU time: 63.5313 s Remaining CPU time: 116.469 s c =============================================================================== c | 342 | 946 1564 482248 | 5000 342 741 | 0.000 % | c =============================================================================== c New solution: 3953 c Elapsed CPU time: 63.7543 s Remaining CPU time: 116.246 s c =============================================================================== c | 342 | 946 1565 483098 | 5000 342 741 | 0.000 % | c =============================================================================== c New solution: 3952 c Elapsed CPU time: 63.9743 s Remaining CPU time: 116.026 s c =============================================================================== c | 342 | 946 1566 483948 | 5000 342 741 | 0.000 % | c =============================================================================== c New solution: 3951 c Elapsed CPU time: 64.2002 s Remaining CPU time: 115.8 s c =============================================================================== c | 342 | 946 1567 484798 | 5000 342 741 | 0.000 % | c =============================================================================== c New solution: 3950 c Elapsed CPU time: 64.4302 s Remaining CPU time: 115.57 s c =============================================================================== c | 342 | 946 1568 485648 | 5000 342 741 | 0.000 % | c =============================================================================== c New solution: 3949 c Elapsed CPU time: 64.6732 s Remaining CPU time: 115.327 s c =============================================================================== c | 343 | 946 1569 486498 | 5000 343 741 | 0.000 % | c =============================================================================== c New solution: 3948 c Elapsed CPU time: 65.0161 s Remaining CPU time: 114.984 s c =============================================================================== c | 370 | 946 1570 487348 | 5000 370 737 | 0.000 % | c =============================================================================== c New solution: 3947 c Elapsed CPU time: 65.4471 s Remaining CPU time: 114.553 s c =============================================================================== c | 389 | 946 1571 488198 | 5000 389 737 | 0.000 % | c =============================================================================== c New solution: 3946 c Elapsed CPU time: 65.757 s Remaining CPU time: 114.243 s c =============================================================================== c | 393 | 946 1572 489048 | 5000 393 736 | 0.000 % | c =============================================================================== c New solution: 3945 c Elapsed CPU time: 66.001 s Remaining CPU time: 113.999 s c =============================================================================== c | 398 | 946 1573 489898 | 5000 398 736 | 0.000 % | c =============================================================================== c New solution: 3944 c Elapsed CPU time: 66.6499 s Remaining CPU time: 113.35 s c =============================================================================== c | 470 | 946 1574 490748 | 5000 470 734 | 0.000 % | c =============================================================================== c New solution: 3943 c Elapsed CPU time: 66.9328 s Remaining CPU time: 113.067 s c =============================================================================== c | 478 | 946 1575 491598 | 5000 478 733 | 0.000 % | c =============================================================================== c New solution: 3942 c Elapsed CPU time: 67.2558 s Remaining CPU time: 112.744 s c =============================================================================== c | 498 | 946 1576 492448 | 5000 498 733 | 0.000 % | c =============================================================================== c New solution: 3941 c Elapsed CPU time: 67.5577 s Remaining CPU time: 112.442 s c =============================================================================== c | 514 | 946 1577 493298 | 5000 514 732 | 0.000 % | c =============================================================================== c New solution: 3940 c Elapsed CPU time: 67.9697 s Remaining CPU time: 112.03 s c =============================================================================== c | 542 | 946 1578 494148 | 5000 542 731 | 0.000 % | c =============================================================================== c New solution: 3939 c Elapsed CPU time: 68.2246 s Remaining CPU time: 111.775 s c =============================================================================== c | 545 | 946 1579 494998 | 5000 545 731 | 0.000 % | c =============================================================================== c New solution: 3938 c Elapsed CPU time: 68.9575 s Remaining CPU time: 111.042 s c =============================================================================== c | 592 | 946 1580 495848 | 5000 592 731 | 0.000 % | c =============================================================================== c New solution: 3937 c Elapsed CPU time: 69.3755 s Remaining CPU time: 110.625 s c =============================================================================== c | 612 | 946 1581 496698 | 5000 612 730 | 0.000 % | c =============================================================================== c New solution: 3936 c Elapsed CPU time: 69.7134 s Remaining CPU time: 110.287 s c =============================================================================== c | 624 | 946 1582 497548 | 5000 624 730 | 0.000 % | c =============================================================================== c New solution: 3935 c Elapsed CPU time: 70.1083 s Remaining CPU time: 109.892 s c =============================================================================== c | 657 | 946 1583 498398 | 5000 657 729 | 0.000 % | c =============================================================================== c New solution: 3934 c Elapsed CPU time: 70.4313 s Remaining CPU time: 109.569 s c =============================================================================== c | 683 | 946 1584 499248 | 5000 683 729 | 0.000 % | c =============================================================================== c New solution: 3933 c Elapsed CPU time: 70.7322 s Remaining CPU time: 109.268 s c =============================================================================== c | 696 | 946 1585 500098 | 5000 696 729 | 0.000 % | c =============================================================================== c New solution: 3932 c Elapsed CPU time: 70.9782 s Remaining CPU time: 109.022 s c =============================================================================== c | 703 | 946 1586 500948 | 5000 703 729 | 0.000 % | c =============================================================================== c New solution: 3931 c Elapsed CPU time: 71.2092 s Remaining CPU time: 108.791 s c =============================================================================== c | 704 | 946 1587 501798 | 5000 704 729 | 0.000 % | c =============================================================================== c New solution: 3930 c Elapsed CPU time: 71.7431 s Remaining CPU time: 108.257 s c =============================================================================== c | 760 | 946 1588 502648 | 5000 760 728 | 0.000 % | c =============================================================================== c New solution: 3929 c Elapsed CPU time: 72.153 s Remaining CPU time: 107.847 s c =============================================================================== c | 788 | 946 1589 503498 | 5000 788 728 | 0.000 % | c =============================================================================== c New solution: 3928 c Elapsed CPU time: 72.466 s Remaining CPU time: 107.534 s c =============================================================================== c | 803 | 946 1590 504348 | 5000 803 727 | 0.000 % | c =============================================================================== c New solution: 3927 c Elapsed CPU time: 72.7969 s Remaining CPU time: 107.203 s c =============================================================================== c | 810 | 946 1591 505198 | 5000 810 727 | 0.000 % | c =============================================================================== c New solution: 3926 c Elapsed CPU time: 73.0589 s Remaining CPU time: 106.941 s c =============================================================================== c | 814 | 946 1592 506048 | 5000 814 727 | 0.000 % | c =============================================================================== c New solution: 3925 c Elapsed CPU time: 73.3488 s Remaining CPU time: 106.651 s c =============================================================================== c | 830 | 946 1593 506898 | 5000 830 727 | 0.000 % | c =============================================================================== c New solution: 3924 c Elapsed CPU time: 73.5718 s Remaining CPU time: 106.428 s c =============================================================================== c | 830 | 946 1594 507748 | 5000 830 727 | 0.000 % | c =============================================================================== c New solution: 3923 c Elapsed CPU time: 73.8358 s Remaining CPU time: 106.164 s c =============================================================================== c | 834 | 946 1595 508598 | 5000 834 727 | 0.000 % | c =============================================================================== c New solution: 3922 c Elapsed CPU time: 74.0957 s Remaining CPU time: 105.904 s c =============================================================================== c | 836 | 946 1596 509448 | 5000 836 727 | 0.000 % | c =============================================================================== c New solution: 3921 c Elapsed CPU time: 74.9016 s Remaining CPU time: 105.098 s c =============================================================================== c | 914 | 946 1597 510298 | 5000 914 726 | 0.000 % | c =============================================================================== c New solution: 3920 c Elapsed CPU time: 75.3785 s Remaining CPU time: 104.621 s c =============================================================================== c | 931 | 946 1598 511148 | 5000 931 726 | 0.000 % | c =============================================================================== c New solution: 3919 c Elapsed CPU time: 75.6805 s Remaining CPU time: 104.32 s c =============================================================================== c | 949 | 946 1599 511998 | 5000 949 726 | 0.000 % | c =============================================================================== c New solution: 3918 c Elapsed CPU time: 75.9974 s Remaining CPU time: 104.003 s c =============================================================================== c | 965 | 946 1600 512848 | 5000 965 726 | 0.000 % | c =============================================================================== c New solution: 3917 c Elapsed CPU time: 76.3804 s Remaining CPU time: 103.62 s c =============================================================================== c | 978 | 946 1601 513698 | 5000 978 726 | 0.000 % | c =============================================================================== c New solution: 3916 c Elapsed CPU time: 76.6443 s Remaining CPU time: 103.356 s c =============================================================================== c | 981 | 946 1602 514548 | 5000 981 726 | 0.000 % | c =============================================================================== c New solution: 3915 c Elapsed CPU time: 76.9063 s Remaining CPU time: 103.094 s c =============================================================================== c | 984 | 946 1603 515398 | 5000 984 726 | 0.000 % | c =============================================================================== c New solution: 3914 c Elapsed CPU time: 77.1853 s Remaining CPU time: 102.815 s c =============================================================================== c | 994 | 946 1604 516248 | 5000 994 725 | 0.000 % | c =============================================================================== c New solution: 3913 c Elapsed CPU time: 77.4602 s Remaining CPU time: 102.54 s c =============================================================================== c | 999 | 946 1605 517098 | 5000 999 725 | 0.000 % | c =============================================================================== c New solution: 3912 c Elapsed CPU time: 77.7492 s Remaining CPU time: 102.251 s c =============================================================================== c | 1002 | 946 1606 517948 | 5000 1002 725 | 0.000 % | c =============================================================================== c New solution: 3911 c Elapsed CPU time: 78.0121 s Remaining CPU time: 101.988 s c =============================================================================== c | 1004 | 946 1607 518798 | 5000 1004 725 | 0.000 % | c =============================================================================== c New solution: 3910 c Elapsed CPU time: 78.2631 s Remaining CPU time: 101.737 s c =============================================================================== c | 1006 | 946 1608 519648 | 5000 1006 725 | 0.000 % | c =============================================================================== c New solution: 3909 c Elapsed CPU time: 78.5591 s Remaining CPU time: 101.441 s c =============================================================================== c | 1010 | 946 1609 520498 | 5000 1010 725 | 0.000 % | c =============================================================================== c New solution: 3908 c Elapsed CPU time: 78.799 s Remaining CPU time: 101.201 s c =============================================================================== c | 1010 | 946 1610 521348 | 5000 1010 725 | 0.000 % | c =============================================================================== c New solution: 3907 c Elapsed CPU time: 79.11 s Remaining CPU time: 100.89 s c =============================================================================== c | 1013 | 946 1611 522198 | 5000 1013 725 | 0.000 % | c =============================================================================== c New solution: 3906 c Elapsed CPU time: 79.3589 s Remaining CPU time: 100.641 s c =============================================================================== c | 1017 | 946 1612 523048 | 5000 1017 725 | 0.000 % | c =============================================================================== c New solution: 3905 c Elapsed CPU time: 79.6109 s Remaining CPU time: 100.389 s c =============================================================================== c | 1019 | 946 1613 523898 | 5000 1019 725 | 0.000 % | c =============================================================================== c New solution: 3904 c Elapsed CPU time: 79.8569 s Remaining CPU time: 100.143 s c =============================================================================== c | 1020 | 946 1614 524748 | 5000 1020 725 | 0.000 % | c =============================================================================== c New solution: 3903 c Elapsed CPU time: 80.1058 s Remaining CPU time: 99.8942 s c =============================================================================== c | 1020 | 946 1615 525598 | 5000 1020 725 | 0.000 % | c =============================================================================== c New solution: 3902 c Elapsed CPU time: 80.5897 s Remaining CPU time: 99.4103 s c =============================================================================== c | 1112 | 946 1616 526448 | 5000 1112 724 | 0.000 % | c =============================================================================== c New solution: 3901 c Elapsed CPU time: 80.8487 s Remaining CPU time: 99.1513 s c =============================================================================== c | 1118 | 946 1617 527298 | 5000 1118 724 | 0.000 % | c =============================================================================== c New solution: 3900 c Elapsed CPU time: 81.2377 s Remaining CPU time: 98.7623 s c =============================================================================== c | 1148 | 946 1618 528148 | 5000 1148 724 | 0.000 % | c =============================================================================== c New solution: 3899 c Elapsed CPU time: 81.7106 s Remaining CPU time: 98.2894 s c =============================================================================== c | 1171 | 946 1619 528998 | 5000 1171 724 | 0.000 % | c =============================================================================== c New solution: 3898 c Elapsed CPU time: 82.0175 s Remaining CPU time: 97.9825 s c =============================================================================== c | 1176 | 946 1620 529848 | 5000 1176 724 | 0.000 % | c =============================================================================== c New solution: 3897 c Elapsed CPU time: 82.2755 s Remaining CPU time: 97.7245 s c =============================================================================== c | 1177 | 946 1621 530698 | 5000 1177 724 | 0.000 % | c =============================================================================== c New solution: 3896 c Elapsed CPU time: 82.7874 s Remaining CPU time: 97.2126 s c =============================================================================== c | 1220 | 946 1622 531548 | 5000 1220 723 | 0.000 % | c =============================================================================== c New solution: 3895 c Elapsed CPU time: 83.1294 s Remaining CPU time: 96.8706 s c =============================================================================== c | 1236 | 946 1623 532398 | 5000 1236 723 | 0.000 % | c =============================================================================== c New solution: 3894 c Elapsed CPU time: 83.4083 s Remaining CPU time: 96.5917 s c =============================================================================== c | 1246 | 946 1624 533248 | 5000 1246 723 | 0.000 % | c =============================================================================== c New solution: 3893 c Elapsed CPU time: 83.7023 s Remaining CPU time: 96.2977 s c =============================================================================== c | 1254 | 946 1625 534098 | 5000 1254 723 | 0.000 % | c =============================================================================== c New solution: 3892 c Elapsed CPU time: 83.9802 s Remaining CPU time: 96.0198 s c =============================================================================== c | 1261 | 946 1626 534948 | 5000 1261 723 | 0.000 % | c =============================================================================== c New solution: 3891 c Elapsed CPU time: 84.2652 s Remaining CPU time: 95.7348 s c =============================================================================== c | 1263 | 946 1627 535798 | 5000 1263 723 | 0.000 % | c =============================================================================== c New solution: 3890 c Elapsed CPU time: 84.5232 s Remaining CPU time: 95.4768 s c =============================================================================== c | 1263 | 946 1628 536648 | 5000 1263 723 | 0.000 % | c =============================================================================== c New solution: 3889 c Elapsed CPU time: 84.9181 s Remaining CPU time: 95.0819 s c =============================================================================== c | 1295 | 946 1629 537498 | 5000 1295 723 | 0.000 % | c =============================================================================== c New solution: 3888 c Elapsed CPU time: 85.231 s Remaining CPU time: 94.769 s c =============================================================================== c | 1325 | 946 1630 538348 | 5000 1325 722 | 0.000 % | c =============================================================================== c New solution: 3887 c Elapsed CPU time: 85.548 s Remaining CPU time: 94.452 s c =============================================================================== c | 1342 | 946 1631 539198 | 5000 1342 722 | 0.000 % | c =============================================================================== c New solution: 3886 c Elapsed CPU time: 86.0359 s Remaining CPU time: 93.9641 s c =============================================================================== c | 1375 | 946 1632 540048 | 5000 1375 722 | 0.000 % | c =============================================================================== c New solution: 3885 c Elapsed CPU time: 86.3899 s Remaining CPU time: 93.6101 s c =============================================================================== c | 1383 | 946 1633 540898 | 5000 1383 722 | 0.000 % | c =============================================================================== c New solution: 3884 c Elapsed CPU time: 86.7368 s Remaining CPU time: 93.2632 s c =============================================================================== c | 1391 | 946 1634 541748 | 5000 1391 722 | 0.000 % | c =============================================================================== c New solution: 3883 c Elapsed CPU time: 87.0698 s Remaining CPU time: 92.9302 s c =============================================================================== c | 1395 | 946 1635 542598 | 5000 1395 722 | 0.000 % | c =============================================================================== c New solution: 3882 c Elapsed CPU time: 87.3667 s Remaining CPU time: 92.6333 s c =============================================================================== c | 1397 | 946 1636 543448 | 5000 1397 722 | 0.000 % | c =============================================================================== c New solution: 3881 c Elapsed CPU time: 87.6147 s Remaining CPU time: 92.3853 s c =============================================================================== c | 1398 | 946 1637 544298 | 5000 1398 722 | 0.000 % | c =============================================================================== c New solution: 3880 c Elapsed CPU time: 88.1946 s Remaining CPU time: 91.8054 s c =============================================================================== c | 1425 | 946 1638 545148 | 5000 1425 722 | 0.000 % | c =============================================================================== c New solution: 3879 c Elapsed CPU time: 88.4616 s Remaining CPU time: 91.5384 s c =============================================================================== c | 1426 | 946 1639 545998 | 5000 1426 722 | 0.000 % | c =============================================================================== c New solution: 3878 c Elapsed CPU time: 88.6925 s Remaining CPU time: 91.3075 s c =============================================================================== c | 1430 | 946 1640 546848 | 5000 1430 721 | 0.000 % | c =============================================================================== c New solution: 3877 c Elapsed CPU time: 88.9665 s Remaining CPU time: 91.0335 s c =============================================================================== c | 1432 | 946 1641 547698 | 5000 1432 721 | 0.000 % | c =============================================================================== c New solution: 3876 c Elapsed CPU time: 89.2644 s Remaining CPU time: 90.7356 s c =============================================================================== c | 1436 | 946 1642 548548 | 5000 1436 721 | 0.000 % | c =============================================================================== c New solution: 3875 c Elapsed CPU time: 89.5184 s Remaining CPU time: 90.4816 s c =============================================================================== c | 1436 | 946 1643 549398 | 5000 1436 721 | 0.000 % | c =============================================================================== c New solution: 3874 c Elapsed CPU time: 89.8073 s Remaining CPU time: 90.1927 s c =============================================================================== c | 1449 | 946 1644 550248 | 5000 1449 721 | 0.000 % | c =============================================================================== c New solution: 3873 c Elapsed CPU time: 90.0543 s Remaining CPU time: 89.9457 s c =============================================================================== c | 1450 | 946 1645 551098 | 5000 1450 721 | 0.000 % | c =============================================================================== c New solution: 3872 c Elapsed CPU time: 90.4453 s Remaining CPU time: 89.5547 s c =============================================================================== c | 1472 | 946 1646 551948 | 5000 1472 721 | 0.000 % | c =============================================================================== c New solution: 3871 c Elapsed CPU time: 90.8342 s Remaining CPU time: 89.1658 s c =============================================================================== c | 1484 | 946 1647 552798 | 5000 1484 721 | 0.000 % | c =============================================================================== c New solution: 3870 c Elapsed CPU time: 91.1151 s Remaining CPU time: 88.8849 s c =============================================================================== c | 1490 | 946 1648 553648 | 5000 1490 721 | 0.000 % | c =============================================================================== c New solution: 3869 c Elapsed CPU time: 91.4171 s Remaining CPU time: 88.5829 s c =============================================================================== c | 1493 | 946 1649 554498 | 5000 1493 721 | 0.000 % | c =============================================================================== c New solution: 3868 c Elapsed CPU time: 91.6951 s Remaining CPU time: 88.3049 s c =============================================================================== c | 1495 | 946 1650 555348 | 5000 1495 721 | 0.000 % | c =============================================================================== c New solution: 3867 c Elapsed CPU time: 92.029 s Remaining CPU time: 87.971 s c =============================================================================== c | 1500 | 946 1651 556198 | 5000 1500 721 | 0.000 % | c =============================================================================== c New solution: 3866 c Elapsed CPU time: 92.324 s Remaining CPU time: 87.676 s c =============================================================================== c | 1502 | 946 1652 557048 | 5000 1502 721 | 0.000 % | c =============================================================================== c New solution: 3865 c Elapsed CPU time: 92.5829 s Remaining CPU time: 87.4171 s c =============================================================================== c | 1502 | 946 1653 557898 | 5000 1502 721 | 0.000 % | c =============================================================================== c New solution: 3864 c Elapsed CPU time: 92.8769 s Remaining CPU time: 87.1231 s c =============================================================================== c | 1506 | 946 1654 558748 | 5000 1506 721 | 0.000 % | c =============================================================================== c New solution: 3863 c Elapsed CPU time: 93.1758 s Remaining CPU time: 86.8242 s c =============================================================================== c | 1514 | 946 1655 559598 | 5000 1514 721 | 0.000 % | c =============================================================================== c New solution: 3862 c Elapsed CPU time: 93.4358 s Remaining CPU time: 86.5642 s c =============================================================================== c | 1514 | 946 1656 560448 | 5000 1514 721 | 0.000 % | c =============================================================================== c New solution: 3861 c Elapsed CPU time: 94.2887 s Remaining CPU time: 85.7113 s c =============================================================================== c | 1575 | 946 1657 561298 | 5000 1575 720 | 0.000 % | c =============================================================================== c New solution: 3860 c Elapsed CPU time: 94.6786 s Remaining CPU time: 85.3214 s c =============================================================================== c | 1600 | 946 1658 562148 | 5000 1600 720 | 0.000 % | c =============================================================================== c New solution: 3859 c Elapsed CPU time: 95.0755 s Remaining CPU time: 84.9245 s c =============================================================================== c | 1608 | 946 1659 562998 | 5000 1608 720 | 0.000 % | c =============================================================================== c New solution: 3858 c Elapsed CPU time: 95.6235 s Remaining CPU time: 84.3765 s c =============================================================================== c | 1639 | 946 1660 563848 | 5000 1639 720 | 0.000 % | c =============================================================================== c New solution: 3857 c Elapsed CPU time: 96.2674 s Remaining CPU time: 83.7326 s c =============================================================================== c | 1691 | 946 1661 564698 | 5000 1691 719 | 0.000 % | c =============================================================================== c New solution: 3856 c Elapsed CPU time: 96.6513 s Remaining CPU time: 83.3487 s c =============================================================================== c | 1712 | 946 1662 565548 | 5000 1712 719 | 0.000 % | c =============================================================================== c New solution: 3855 c Elapsed CPU time: 97.0252 s Remaining CPU time: 82.9748 s c =============================================================================== c | 1721 | 946 1663 566398 | 5000 1721 719 | 0.000 % | c =============================================================================== c New solution: 3854 c Elapsed CPU time: 97.4102 s Remaining CPU time: 82.5898 s c =============================================================================== c | 1742 | 946 1664 567248 | 5000 1742 719 | 0.000 % | c =============================================================================== c New solution: 3853 c Elapsed CPU time: 98.0711 s Remaining CPU time: 81.9289 s c =============================================================================== c | 1780 | 946 1665 568098 | 5000 1780 719 | 0.000 % | c =============================================================================== c New solution: 3852 c Elapsed CPU time: 98.432 s Remaining CPU time: 81.568 s c =============================================================================== c | 1792 | 946 1666 568948 | 5000 1792 718 | 0.000 % | c =============================================================================== c New solution: 3851 c Elapsed CPU time: 99.1059 s Remaining CPU time: 80.8941 s c =============================================================================== c | 1838 | 946 1667 569798 | 5000 1838 718 | 0.000 % | c =============================================================================== c New solution: 3850 c Elapsed CPU time: 99.4949 s Remaining CPU time: 80.5051 s c =============================================================================== c | 1870 | 946 1668 570648 | 5000 1870 718 | 0.000 % | c =============================================================================== c New solution: 3849 c Elapsed CPU time: 99.8668 s Remaining CPU time: 80.1332 s c =============================================================================== c | 1882 | 946 1669 571498 | 5000 1882 718 | 0.000 % | c =============================================================================== c New solution: 3848 c Elapsed CPU time: 100.45 s Remaining CPU time: 79.5503 s c =============================================================================== c | 1922 | 946 1670 572348 | 5000 1922 718 | 0.000 % | c =============================================================================== c New solution: 3847 c Elapsed CPU time: 101.018 s Remaining CPU time: 78.9824 s c =============================================================================== c | 1966 | 946 1671 573198 | 5000 1966 717 | 0.000 % | c =============================================================================== c New solution: 3846 c Elapsed CPU time: 101.321 s Remaining CPU time: 78.6794 s c =============================================================================== c | 1975 | 946 1672 574048 | 5000 1975 717 | 0.000 % | c =============================================================================== c New solution: 3845 c Elapsed CPU time: 101.901 s Remaining CPU time: 78.0995 s c =============================================================================== c | 2031 | 946 1673 574898 | 5000 2031 717 | 0.000 % | c =============================================================================== c New solution: 3844 c Elapsed CPU time: 102.378 s Remaining CPU time: 77.6216 s c =============================================================================== c | 2052 | 946 1674 575748 | 5000 2052 717 | 0.000 % | c =============================================================================== c New solution: 3843 c Elapsed CPU time: 102.686 s Remaining CPU time: 77.3136 s c =============================================================================== c | 2053 | 946 1675 576598 | 5000 2053 717 | 0.000 % | c =============================================================================== c New solution: 3842 c Elapsed CPU time: 103.313 s Remaining CPU time: 76.6867 s c =============================================================================== c | 2109 | 946 1676 577448 | 5000 2109 717 | 0.000 % | c =============================================================================== c New solution: 3841 c Elapsed CPU time: 104.114 s Remaining CPU time: 75.8858 s c =============================================================================== c | 2168 | 946 1677 578298 | 5000 2168 716 | 0.000 % | c =============================================================================== c New solution: 3840 c Elapsed CPU time: 104.491 s Remaining CPU time: 75.5089 s c =============================================================================== c | 2180 | 946 1678 579148 | 5000 2180 716 | 0.000 % | c =============================================================================== c New solution: 3839 c Elapsed CPU time: 104.868 s Remaining CPU time: 75.1319 s c =============================================================================== c | 2187 | 946 1679 579998 | 5000 2187 716 | 0.000 % | c =============================================================================== c New solution: 3838 c Elapsed CPU time: 105.226 s Remaining CPU time: 74.774 s c =============================================================================== c | 2192 | 946 1680 580848 | 5000 2192 716 | 0.000 % | c =============================================================================== c New solution: 3837 c Elapsed CPU time: 105.522 s Remaining CPU time: 74.478 s c =============================================================================== c | 2194 | 946 1681 581698 | 5000 2194 716 | 0.000 % | c =============================================================================== c New solution: 3836 c Elapsed CPU time: 105.825 s Remaining CPU time: 74.1751 s c =============================================================================== c | 2196 | 946 1682 582548 | 5000 2196 716 | 0.000 % | c =============================================================================== c New solution: 3835 c Elapsed CPU time: 106.902 s Remaining CPU time: 73.0983 s c =============================================================================== c | 2277 | 946 1683 583398 | 5000 2277 716 | 0.000 % | c =============================================================================== c New solution: 3834 c Elapsed CPU time: 107.312 s Remaining CPU time: 72.6883 s c =============================================================================== c | 2290 | 946 1684 584248 | 5000 2290 715 | 0.000 % | c =============================================================================== c New solution: 3833 c Elapsed CPU time: 107.606 s Remaining CPU time: 72.3944 s c =============================================================================== c | 2302 | 946 1685 585098 | 5000 2302 715 | 0.000 % | c =============================================================================== c New solution: 3832 c Elapsed CPU time: 107.905 s Remaining CPU time: 72.0954 s c =============================================================================== c | 2305 | 946 1686 585948 | 5000 2305 715 | 0.000 % | c =============================================================================== c New solution: 3831 c Elapsed CPU time: 108.711 s Remaining CPU time: 71.2885 s c =============================================================================== c | 2358 | 946 1687 586798 | 5000 2358 715 | 0.000 % | c =============================================================================== c New solution: 3830 c Elapsed CPU time: 109.171 s Remaining CPU time: 70.8286 s c =============================================================================== c | 2392 | 946 1688 587648 | 5000 2392 715 | 0.000 % | c =============================================================================== c New solution: 3829 c Elapsed CPU time: 109.747 s Remaining CPU time: 70.2527 s c =============================================================================== c | 2427 | 946 1689 588498 | 5000 2427 715 | 0.000 % | c =============================================================================== c New solution: 3828 c Elapsed CPU time: 110.275 s Remaining CPU time: 69.7248 s c =============================================================================== c | 2453 | 946 1690 589348 | 5000 2453 715 | 0.000 % | c =============================================================================== c New solution: 3827 c Elapsed CPU time: 110.721 s Remaining CPU time: 69.2788 s c =============================================================================== c | 2470 | 946 1691 590198 | 5000 2470 715 | 0.000 % | c =============================================================================== c New solution: 3826 c Elapsed CPU time: 111.06 s Remaining CPU time: 68.9399 s c =============================================================================== c | 2485 | 946 1692 591048 | 5000 2485 714 | 0.000 % | c =============================================================================== c New solution: 3825 c Elapsed CPU time: 111.517 s Remaining CPU time: 68.483 s c =============================================================================== c | 2512 | 946 1693 591898 | 5000 2512 714 | 0.000 % | c =============================================================================== c New solution: 3824 c Elapsed CPU time: 111.862 s Remaining CPU time: 68.138 s c =============================================================================== c | 2523 | 946 1694 592748 | 5000 2523 714 | 0.000 % | c =============================================================================== c New solution: 3823 c Elapsed CPU time: 112.424 s Remaining CPU time: 67.5761 s c =============================================================================== c | 2547 | 946 1695 593598 | 5000 2547 714 | 0.000 % | c =============================================================================== c New solution: 3822 c Elapsed CPU time: 112.79 s Remaining CPU time: 67.2101 s c =============================================================================== c | 2557 | 946 1696 594448 | 5000 2557 714 | 0.000 % | c =============================================================================== c New solution: 3821 c Elapsed CPU time: 113.062 s Remaining CPU time: 66.9382 s c =============================================================================== c | 2557 | 946 1697 595298 | 5000 2557 714 | 0.000 % | c =============================================================================== c New solution: 3820 c Elapsed CPU time: 113.412 s Remaining CPU time: 66.5882 s c =============================================================================== c | 2561 | 946 1698 596148 | 5000 2561 714 | 0.000 % | c =============================================================================== c New solution: 3819 c Elapsed CPU time: 113.724 s Remaining CPU time: 66.2763 s c =============================================================================== c | 2564 | 946 1699 596998 | 5000 2564 714 | 0.000 % | c =============================================================================== c New solution: 3818 c Elapsed CPU time: 113.991 s Remaining CPU time: 66.0093 s c =============================================================================== c | 2565 | 946 1700 597848 | 5000 2565 714 | 0.000 % | c =============================================================================== c New solution: 3817 c Elapsed CPU time: 114.535 s Remaining CPU time: 65.4654 s c =============================================================================== c | 2598 | 946 1701 598698 | 5000 2598 714 | 0.000 % | c =============================================================================== c New solution: 3816 c Elapsed CPU time: 114.84 s Remaining CPU time: 65.1605 s c =============================================================================== c | 2604 | 946 1702 599548 | 5000 2604 714 | 0.000 % | c =============================================================================== c New solution: 3815 c Elapsed CPU time: 115.171 s Remaining CPU time: 64.8285 s c =============================================================================== c | 2609 | 946 1703 600398 | 5000 2609 714 | 0.000 % | c =============================================================================== c New solution: 3814 c Elapsed CPU time: 115.617 s Remaining CPU time: 64.3826 s c =============================================================================== c | 2636 | 946 1704 601248 | 5000 2636 714 | 0.000 % | c =============================================================================== c New solution: 3813 c Elapsed CPU time: 116.102 s Remaining CPU time: 63.8977 s c =============================================================================== c | 2656 | 946 1705 602098 | 5000 2656 714 | 0.000 % | c =============================================================================== c New solution: 3812 c Elapsed CPU time: 116.472 s Remaining CPU time: 63.5277 s c =============================================================================== c | 2669 | 946 1706 602948 | 5000 2669 714 | 0.000 % | c =============================================================================== c New solution: 3811 c Elapsed CPU time: 116.757 s Remaining CPU time: 63.2428 s c =============================================================================== c | 2669 | 946 1707 603798 | 5000 2669 714 | 0.000 % | c =============================================================================== c New solution: 3810 c Elapsed CPU time: 117.092 s Remaining CPU time: 62.9078 s c =============================================================================== c | 2673 | 946 1708 604648 | 5000 2673 714 | 0.000 % | c =============================================================================== c New solution: 3809 c Elapsed CPU time: 117.567 s Remaining CPU time: 62.4329 s c =============================================================================== c | 2690 | 946 1709 605498 | 5000 2690 714 | 0.000 % | c =============================================================================== c New solution: 3808 c Elapsed CPU time: 118.27 s Remaining CPU time: 61.73 s c =============================================================================== c | 2776 | 946 1710 606348 | 5000 2776 713 | 0.000 % | c =============================================================================== c New solution: 3807 c Elapsed CPU time: 118.72 s Remaining CPU time: 61.28 s c =============================================================================== c | 2808 | 946 1711 607198 | 5000 2808 713 | 0.000 % | c =============================================================================== c New solution: 3806 c Elapsed CPU time: 119.26 s Remaining CPU time: 60.7401 s c =============================================================================== c | 2842 | 946 1712 608048 | 5000 2842 713 | 0.000 % | c =============================================================================== c New solution: 3805 c Elapsed CPU time: 119.64 s Remaining CPU time: 60.3602 s c =============================================================================== c | 2850 | 946 1713 608898 | 5000 2850 713 | 0.000 % | c =============================================================================== c New solution: 3804 c Elapsed CPU time: 119.947 s Remaining CPU time: 60.0532 s c =============================================================================== c | 2852 | 946 1714 609748 | 5000 2852 713 | 0.000 % | c =============================================================================== c New solution: 3803 c Elapsed CPU time: 120.635 s Remaining CPU time: 59.3653 s c =============================================================================== c | 2906 | 946 1715 610598 | 5000 2906 712 | 0.000 % | c =============================================================================== c New solution: 3802 c Elapsed CPU time: 121.404 s Remaining CPU time: 58.5965 s c =============================================================================== c | 2948 | 946 1716 611448 | 5000 2948 712 | 0.000 % | c =============================================================================== c New solution: 3801 c Elapsed CPU time: 122.352 s Remaining CPU time: 57.6476 s c =============================================================================== c | 3023 | 946 1717 612298 | 5000 3023 712 | 0.000 % | c | 3124 | 946 1717 612298 | 5500 3124 711 | 5.400 % | c =============================================================================== c New solution: 3800 c Elapsed CPU time: 124.036 s Remaining CPU time: 55.9639 s c =============================================================================== c | 3144 | 946 1718 613148 | 5000 3144 711 | 5.400 % | c =============================================================================== c New solution: 3799 c Elapsed CPU time: 124.542 s Remaining CPU time: 55.4579 s c =============================================================================== c | 3183 | 946 1719 613998 | 5000 3183 711 | 5.400 % | c =============================================================================== c New solution: 3798 c Elapsed CPU time: 125.018 s Remaining CPU time: 54.982 s c =============================================================================== c | 3204 | 946 1720 614848 | 5000 3204 711 | 5.400 % | c =============================================================================== c New solution: 3797 c Elapsed CPU time: 125.601 s Remaining CPU time: 54.3991 s c =============================================================================== c | 3250 | 946 1721 615698 | 5000 3250 711 | 5.400 % | c =============================================================================== c New solution: 3796 c Elapsed CPU time: 126.262 s Remaining CPU time: 53.7382 s c =============================================================================== c | 3306 | 946 1722 616548 | 5000 3306 711 | 5.400 % | c =============================================================================== c New solution: 3795 c Elapsed CPU time: 127.089 s Remaining CPU time: 52.9113 s c =============================================================================== c | 3388 | 946 1723 617398 | 5000 3388 710 | 5.400 % | c =============================================================================== c New solution: 3794 c Elapsed CPU time: 127.827 s Remaining CPU time: 52.1734 s c =============================================================================== c | 3461 | 946 1724 618248 | 5000 3461 710 | 5.400 % | c =============================================================================== c New solution: 3793 c Elapsed CPU time: 128.258 s Remaining CPU time: 51.7425 s c =============================================================================== c | 3480 | 946 1725 619098 | 5000 3480 710 | 5.400 % | c =============================================================================== c New solution: 3792 c Elapsed CPU time: 128.78 s Remaining CPU time: 51.2196 s c =============================================================================== c | 3508 | 946 1726 619948 | 5000 3508 710 | 5.400 % | c =============================================================================== c New solution: 3791 c Elapsed CPU time: 129.121 s Remaining CPU time: 50.8786 s c =============================================================================== c | 3516 | 946 1727 620798 | 5000 3516 710 | 5.400 % | c =============================================================================== c New solution: 3790 c Elapsed CPU time: 129.826 s Remaining CPU time: 50.1737 s c =============================================================================== c | 3552 | 946 1728 621648 | 5000 3552 709 | 5.400 % | c =============================================================================== c New solution: 3789 c Elapsed CPU time: 130.397 s Remaining CPU time: 49.6028 s c =============================================================================== c | 3586 | 946 1729 622498 | 5000 3586 709 | 5.400 % | c =============================================================================== c New solution: 3788 c Elapsed CPU time: 130.895 s Remaining CPU time: 49.1049 s c =============================================================================== c | 3616 | 946 1730 623348 | 5000 3616 709 | 5.400 % | c =============================================================================== c New solution: 3787 c Elapsed CPU time: 131.222 s Remaining CPU time: 48.7779 s c =============================================================================== c | 3624 | 946 1731 624198 | 5000 3624 709 | 5.400 % | c =============================================================================== c New solution: 3786 c Elapsed CPU time: 131.492 s Remaining CPU time: 48.508 s c =============================================================================== c | 3624 | 946 1732 625048 | 5000 3624 709 | 5.400 % | c =============================================================================== c New solution: 3785 c Elapsed CPU time: 132.002 s Remaining CPU time: 47.9981 s c =============================================================================== c | 3638 | 946 1733 625898 | 5000 3638 709 | 5.400 % | c =============================================================================== c New solution: 3784 c Elapsed CPU time: 132.299 s Remaining CPU time: 47.7011 s c =============================================================================== c | 3642 | 946 1734 626748 | 5000 3642 709 | 5.400 % | c =============================================================================== c New solution: 3783 c Elapsed CPU time: 132.765 s Remaining CPU time: 47.2352 s c =============================================================================== c | 3689 | 946 1735 627598 | 5000 3689 709 | 5.400 % | c =============================================================================== c New solution: 3782 c Elapsed CPU time: 133.32 s Remaining CPU time: 46.6803 s c =============================================================================== c | 3709 | 946 1736 628448 | 5000 3709 709 | 5.400 % | c =============================================================================== c New solution: 3781 c Elapsed CPU time: 133.812 s Remaining CPU time: 46.1883 s c =============================================================================== c | 3727 | 946 1737 629298 | 5000 3727 709 | 5.400 % | c =============================================================================== c New solution: 3780 c Elapsed CPU time: 134.173 s Remaining CPU time: 45.8274 s c =============================================================================== c | 3732 | 946 1738 630148 | 5000 3732 709 | 5.400 % | c =============================================================================== c New solution: 3779 c Elapsed CPU time: 134.684 s Remaining CPU time: 45.3165 s c =============================================================================== c | 3755 | 946 1739 630998 | 5000 3755 709 | 5.400 % | c =============================================================================== c New solution: 3778 c Elapsed CPU time: 135.191 s Remaining CPU time: 44.8086 s c =============================================================================== c | 3769 | 946 1740 631848 | 5000 3769 709 | 5.400 % | c =============================================================================== c New solution: 3777 c Elapsed CPU time: 135.557 s Remaining CPU time: 44.4426 s c =============================================================================== c | 3773 | 946 1741 632698 | 5000 3773 709 | 5.400 % | c =============================================================================== c New solution: 3776 c Elapsed CPU time: 135.86 s Remaining CPU time: 44.1397 s c =============================================================================== c | 3773 | 946 1742 633548 | 5000 3773 709 | 5.400 % | c | 3874 | 946 1742 633548 | 5500 3874 708 | 5.400 % | c =============================================================================== c New solution: 3775 c Elapsed CPU time: 137.45 s Remaining CPU time: 42.5499 s c =============================================================================== c | 3886 | 946 1743 634398 | 5000 3886 708 | 5.400 % | c =============================================================================== c New solution: 3774 c Elapsed CPU time: 138.426 s Remaining CPU time: 41.574 s c =============================================================================== c | 3957 | 946 1744 635248 | 5000 3957 708 | 5.400 % | c =============================================================================== c New solution: 3773 c Elapsed CPU time: 139.198 s Remaining CPU time: 40.8022 s c =============================================================================== c | 4011 | 946 1745 636098 | 5000 4011 708 | 5.400 % | c =============================================================================== c New solution: 3772 c Elapsed CPU time: 139.596 s Remaining CPU time: 40.4042 s c =============================================================================== c | 4017 | 946 1746 636948 | 5000 4017 708 | 5.400 % | c =============================================================================== c New solution: 3771 c Elapsed CPU time: 140.244 s Remaining CPU time: 39.7563 s c =============================================================================== c | 4051 | 946 1747 637798 | 5000 4051 707 | 5.400 % | c =============================================================================== c New solution: 3770 c Elapsed CPU time: 140.963 s Remaining CPU time: 39.0374 s c =============================================================================== c | 4085 | 946 1748 638648 | 5000 4085 707 | 5.400 % | c =============================================================================== c New solution: 3769 c Elapsed CPU time: 141.288 s Remaining CPU time: 38.7125 s c =============================================================================== c | 4089 | 946 1749 639498 | 5000 4089 707 | 5.400 % | c =============================================================================== c New solution: 3768 c Elapsed CPU time: 141.706 s Remaining CPU time: 38.2935 s c =============================================================================== c | 4097 | 946 1750 640348 | 5000 4097 707 | 5.400 % | c =============================================================================== c New solution: 3767 c Elapsed CPU time: 142.013 s Remaining CPU time: 37.9866 s c =============================================================================== c | 4098 | 946 1751 641198 | 5000 4098 707 | 5.400 % | c =============================================================================== c New solution: 3766 c Elapsed CPU time: 142.558 s Remaining CPU time: 37.4417 s c =============================================================================== c | 4121 | 946 1752 642048 | 5000 4121 707 | 5.400 % | c =============================================================================== c New solution: 3765 c Elapsed CPU time: 143.322 s Remaining CPU time: 36.6778 s c =============================================================================== c | 4163 | 946 1753 642898 | 5000 4163 707 | 5.400 % | c =============================================================================== c New solution: 3764 c Elapsed CPU time: 144.033 s Remaining CPU time: 35.9669 s c =============================================================================== c | 4201 | 946 1754 643748 | 5000 4201 707 | 5.400 % | c =============================================================================== c New solution: 3763 c Elapsed CPU time: 144.472 s Remaining CPU time: 35.528 s c =============================================================================== c | 4220 | 946 1755 644598 | 5000 4220 707 | 5.400 % | c =============================================================================== c New solution: 3762 c Elapsed CPU time: 145.235 s Remaining CPU time: 34.7651 s c =============================================================================== c | 4260 | 946 1756 645448 | 5000 4260 707 | 5.400 % | c =============================================================================== c New solution: 3761 c Elapsed CPU time: 145.542 s Remaining CPU time: 34.4581 s c =============================================================================== c | 4260 | 946 1757 646298 | 5000 4260 707 | 5.400 % | c =============================================================================== c New solution: 3760 c Elapsed CPU time: 145.849 s Remaining CPU time: 34.1512 s c =============================================================================== c | 4264 | 946 1758 647148 | 5000 4264 707 | 5.400 % | c =============================================================================== c New solution: 3759 c Elapsed CPU time: 146.568 s Remaining CPU time: 33.4323 s c =============================================================================== c | 4298 | 946 1759 647998 | 5000 4298 706 | 5.400 % | c =============================================================================== c New solution: 3758 c Elapsed CPU time: 146.921 s Remaining CPU time: 33.0793 s c =============================================================================== c | 4303 | 946 1760 648848 | 5000 4303 706 | 5.400 % | c =============================================================================== c New solution: 3757 c Elapsed CPU time: 147.366 s Remaining CPU time: 32.6344 s c =============================================================================== c | 4320 | 946 1761 649698 | 5000 4320 706 | 5.400 % | c =============================================================================== c New solution: 3756 c Elapsed CPU time: 147.673 s Remaining CPU time: 32.3274 s c =============================================================================== c | 4321 | 946 1762 650548 | 5000 4321 706 | 5.400 % | c =============================================================================== c New solution: 3755 c Elapsed CPU time: 148.297 s Remaining CPU time: 31.7025 s c =============================================================================== c | 4345 | 946 1763 651398 | 5000 4345 706 | 5.400 % | c | 4445 | 946 1763 651398 | 5500 4445 706 | 5.400 % | c =============================================================================== c New solution: 3754 c Elapsed CPU time: 150.045 s Remaining CPU time: 29.9548 s c =============================================================================== c | 4556 | 946 1764 652248 | 5000 4556 705 | 5.400 % | c =============================================================================== c New solution: 3753 c Elapsed CPU time: 150.812 s Remaining CPU time: 29.1879 s c =============================================================================== c | 4624 | 946 1765 653098 | 5000 4624 705 | 5.400 % | c =============================================================================== c New solution: 3752 c Elapsed CPU time: 151.8 s Remaining CPU time: 28.2001 s c =============================================================================== c | 4685 | 946 1766 653948 | 5000 4685 705 | 5.400 % | c =============================================================================== c New solution: 3751 c Elapsed CPU time: 153.072 s Remaining CPU time: 26.9283 s c =============================================================================== c | 4780 | 946 1767 654798 | 5000 4780 705 | 5.400 % | c | 4881 | 946 1767 654798 | 5500 4881 704 | 5.400 % | c =============================================================================== c New solution: 3750 c Elapsed CPU time: 154.738 s Remaining CPU time: 25.2615 s c =============================================================================== c | 4922 | 946 1768 655648 | 5000 4922 704 | 5.400 % | c =============================================================================== c New solution: 3749 c Elapsed CPU time: 155.289 s Remaining CPU time: 24.7106 s c =============================================================================== c | 4950 | 946 1769 656498 | 5000 4950 704 | 5.400 % | c =============================================================================== c New solution: 3748 c Elapsed CPU time: 156.069 s Remaining CPU time: 23.9307 s c =============================================================================== c | 5019 | 946 1770 657348 | 5000 5019 704 | 5.400 % | c =============================================================================== c New solution: 3747 c Elapsed CPU time: 156.823 s Remaining CPU time: 23.1768 s c =============================================================================== c | 5085 | 946 1771 658198 | 5000 5085 703 | 5.400 % | c | 5185 | 946 1771 658198 | 5500 2643 692 | 5.400 % | c =============================================================================== c New solution: 3746 c Elapsed CPU time: 158.535 s Remaining CPU time: 21.4651 s c =============================================================================== c | 5245 | 946 1772 659048 | 5000 2703 692 | 5.400 % | c =============================================================================== c New solution: 3745 c Elapsed CPU time: 159.383 s Remaining CPU time: 20.6172 s c =============================================================================== c | 5304 | 946 1773 659898 | 5000 2762 692 | 5.400 % | c =============================================================================== c New solution: 3744 c Elapsed CPU time: 160.793 s Remaining CPU time: 19.2074 s c =============================================================================== c | 5370 | 946 1774 660748 | 5000 2828 692 | 5.400 % | c =============================================================================== c New solution: 3743 c Elapsed CPU time: 161.833 s Remaining CPU time: 18.1666 s c =============================================================================== c | 5424 | 946 1775 661598 | 5000 2882 691 | 5.400 % | c | 5525 | 946 1775 661598 | 5500 2983 691 | 5.400 % | c | 5675 | 946 1775 661598 | 6050 3133 691 | 5.400 % | c =============================================================================== c New solution: 3742 c Elapsed CPU time: 165.9 s Remaining CPU time: 14.1002 s c =============================================================================== c | 5787 | 946 1776 662448 | 5000 3245 691 | 5.400 % | c | 5888 | 946 1776 662448 | 5500 3346 690 | 5.400 % | c =============================================================================== c New solution: 3741 c Elapsed CPU time: 167.571 s Remaining CPU time: 12.4295 s c =============================================================================== c | 5932 | 946 1777 663298 | 5000 3390 690 | 5.400 % | c =============================================================================== c New solution: 3740 c Elapsed CPU time: 167.954 s Remaining CPU time: 12.0455 s c =============================================================================== c | 5937 | 946 1778 664148 | 5000 3395 690 | 5.400 % | c | 6037 | 946 1778 664148 | 5500 3495 690 | 5.400 % | c =============================================================================== c New solution: 3739 c Elapsed CPU time: 170.604 s Remaining CPU time: 9.39594 s c =============================================================================== c | 6165 | 946 1779 664998 | 5000 3623 690 | 5.400 % | c =============================================================================== c New solution: 3738 c Elapsed CPU time: 171.017 s Remaining CPU time: 8.983 s c =============================================================================== c | 6179 | 946 1780 665848 | 5000 3637 690 | 5.400 % | c | 6279 | 946 1780 665848 | 5500 3737 690 | 5.400 % | c | 6430 | 946 1780 665848 | 6050 3888 689 | 5.400 % | c | 6655 | 946 1780 665848 | 6655 4113 689 | 5.400 % | c =============================================================================== c New solution: 3737 c Elapsed CPU time: 176.852 s Remaining CPU time: 3.14789 s c =============================================================================== c | 6797 | 946 1781 666698 | 5000 4255 689 | 5.400 % | c =============================================================================== c New solution: 3736 c Elapsed CPU time: 178.068 s Remaining CPU time: 1.93207 s c =============================================================================== c | 6862 | 946 1782 667548 | 5000 4320 689 | 5.400 % | c =============================================================================== c New solution: 3735 c Elapsed CPU time: 179.354 s Remaining CPU time: 0.646266 s c =============================================================================== c | 6922 | 946 1783 668398 | 5000 4380 689 | 5.400 % | c There are 54 assigned variables. 11 in cost function.