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 | 987 1009 2823 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4664 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 987 1010 3673 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4662 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 987 1011 4523 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4658 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 987 1012 5373 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4656 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 987 1013 6223 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4655 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 987 1014 7073 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4653 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 987 1015 7923 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4649 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 987 1016 8773 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4647 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 987 1017 9623 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4646 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 987 1018 10473 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4645 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 987 1019 11323 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4643 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 987 1020 12173 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4639 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 0 | 987 1021 13023 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4637 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 0 | 987 1022 13873 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4633 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 0 | 987 1023 14723 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4630 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 0 | 987 1024 15573 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4629 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 0 | 987 1025 16423 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4628 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 0 | 987 1026 17273 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4626 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 0 | 987 1027 18123 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4624 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 0 | 987 1028 18973 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4623 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 0 | 987 1029 19823 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4620 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 0 | 987 1030 20673 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4618 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s c =============================================================================== c | 0 | 987 1031 21523 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4616 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 0 | 987 1032 22373 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4615 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s c =============================================================================== c | 0 | 987 1033 23223 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4613 c Elapsed CPU time: 0.133979 s Remaining CPU time: 179.866 s c =============================================================================== c | 0 | 987 1034 24073 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4612 c Elapsed CPU time: 0.139978 s Remaining CPU time: 179.86 s c =============================================================================== c | 0 | 987 1035 24923 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4610 c Elapsed CPU time: 0.145977 s Remaining CPU time: 179.854 s c =============================================================================== c | 0 | 987 1036 25773 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4609 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 0 | 987 1037 26623 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4605 c Elapsed CPU time: 0.159975 s Remaining CPU time: 179.84 s c =============================================================================== c | 0 | 987 1038 27473 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4602 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 0 | 987 1039 28323 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4598 c Elapsed CPU time: 0.174973 s Remaining CPU time: 179.825 s c =============================================================================== c | 0 | 987 1040 29173 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4592 c Elapsed CPU time: 0.182972 s Remaining CPU time: 179.817 s c =============================================================================== c | 0 | 987 1041 30023 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4591 c Elapsed CPU time: 0.19097 s Remaining CPU time: 179.809 s c =============================================================================== c | 0 | 987 1042 30873 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4589 c Elapsed CPU time: 0.197969 s Remaining CPU time: 179.802 s c =============================================================================== c | 0 | 987 1043 31723 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4586 c Elapsed CPU time: 0.205968 s Remaining CPU time: 179.794 s c =============================================================================== c | 0 | 987 1044 32573 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4585 c Elapsed CPU time: 0.214967 s Remaining CPU time: 179.785 s c =============================================================================== c | 0 | 987 1045 33423 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4584 c Elapsed CPU time: 0.222966 s Remaining CPU time: 179.777 s c =============================================================================== c | 0 | 987 1046 34273 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4582 c Elapsed CPU time: 0.230964 s Remaining CPU time: 179.769 s c =============================================================================== c | 0 | 987 1047 35123 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4581 c Elapsed CPU time: 0.239963 s Remaining CPU time: 179.76 s c =============================================================================== c | 0 | 987 1048 35973 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4578 c Elapsed CPU time: 0.248962 s Remaining CPU time: 179.751 s c =============================================================================== c | 0 | 987 1049 36823 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4573 c Elapsed CPU time: 0.25896 s Remaining CPU time: 179.741 s c =============================================================================== c | 0 | 987 1050 37673 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4571 c Elapsed CPU time: 0.269958 s Remaining CPU time: 179.73 s c =============================================================================== c | 0 | 987 1051 38523 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4570 c Elapsed CPU time: 0.278957 s Remaining CPU time: 179.721 s c =============================================================================== c | 0 | 987 1052 39373 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4569 c Elapsed CPU time: 0.289955 s Remaining CPU time: 179.71 s c =============================================================================== c | 0 | 987 1053 40223 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4567 c Elapsed CPU time: 0.298954 s Remaining CPU time: 179.701 s c =============================================================================== c | 0 | 987 1054 41073 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4565 c Elapsed CPU time: 0.309952 s Remaining CPU time: 179.69 s c =============================================================================== c | 0 | 987 1055 41923 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4563 c Elapsed CPU time: 0.320951 s Remaining CPU time: 179.679 s c =============================================================================== c | 0 | 987 1056 42773 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4562 c Elapsed CPU time: 0.332949 s Remaining CPU time: 179.667 s c =============================================================================== c | 0 | 987 1057 43623 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4560 c Elapsed CPU time: 0.343947 s Remaining CPU time: 179.656 s c =============================================================================== c | 0 | 987 1058 44473 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4559 c Elapsed CPU time: 0.354946 s Remaining CPU time: 179.645 s c =============================================================================== c | 0 | 987 1059 45323 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4558 c Elapsed CPU time: 0.367944 s Remaining CPU time: 179.632 s c =============================================================================== c | 0 | 987 1060 46173 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4557 c Elapsed CPU time: 0.380942 s Remaining CPU time: 179.619 s c =============================================================================== c | 0 | 987 1061 47023 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4555 c Elapsed CPU time: 0.39394 s Remaining CPU time: 179.606 s c =============================================================================== c | 0 | 987 1062 47873 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4554 c Elapsed CPU time: 0.406938 s Remaining CPU time: 179.593 s c =============================================================================== c | 0 | 987 1063 48723 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4553 c Elapsed CPU time: 0.419936 s Remaining CPU time: 179.58 s c =============================================================================== c | 0 | 987 1064 49573 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4552 c Elapsed CPU time: 0.433934 s Remaining CPU time: 179.566 s c =============================================================================== c | 0 | 987 1065 50423 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4550 c Elapsed CPU time: 0.447931 s Remaining CPU time: 179.552 s c =============================================================================== c | 0 | 987 1066 51273 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4549 c Elapsed CPU time: 0.461929 s Remaining CPU time: 179.538 s c =============================================================================== c | 0 | 987 1067 52123 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4548 c Elapsed CPU time: 0.476927 s Remaining CPU time: 179.523 s c =============================================================================== c | 0 | 987 1068 52973 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4545 c Elapsed CPU time: 0.490925 s Remaining CPU time: 179.509 s c =============================================================================== c | 0 | 987 1069 53823 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4542 c Elapsed CPU time: 0.505923 s Remaining CPU time: 179.494 s c =============================================================================== c | 0 | 987 1070 54673 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4538 c Elapsed CPU time: 0.52392 s Remaining CPU time: 179.476 s c =============================================================================== c | 0 | 987 1071 55523 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4537 c Elapsed CPU time: 0.539917 s Remaining CPU time: 179.46 s c =============================================================================== c | 0 | 987 1072 56373 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4536 c Elapsed CPU time: 0.556915 s Remaining CPU time: 179.443 s c =============================================================================== c | 0 | 987 1073 57223 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4535 c Elapsed CPU time: 0.575912 s Remaining CPU time: 179.424 s c =============================================================================== c | 0 | 987 1074 58073 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4531 c Elapsed CPU time: 0.593909 s Remaining CPU time: 179.406 s c =============================================================================== c | 0 | 987 1075 58923 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4530 c Elapsed CPU time: 0.611906 s Remaining CPU time: 179.388 s c =============================================================================== c | 0 | 987 1076 59773 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4527 c Elapsed CPU time: 0.629904 s Remaining CPU time: 179.37 s c =============================================================================== c | 0 | 987 1077 60623 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4526 c Elapsed CPU time: 0.647901 s Remaining CPU time: 179.352 s c =============================================================================== c | 0 | 987 1078 61473 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4524 c Elapsed CPU time: 0.668898 s Remaining CPU time: 179.331 s c =============================================================================== c | 0 | 987 1079 62323 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4523 c Elapsed CPU time: 0.688895 s Remaining CPU time: 179.311 s c =============================================================================== c | 0 | 987 1080 63173 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4522 c Elapsed CPU time: 0.708892 s Remaining CPU time: 179.291 s c =============================================================================== c | 0 | 987 1081 64023 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4520 c Elapsed CPU time: 0.727889 s Remaining CPU time: 179.272 s c =============================================================================== c | 0 | 987 1082 64873 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4514 c Elapsed CPU time: 0.746886 s Remaining CPU time: 179.253 s c =============================================================================== c | 0 | 987 1083 65723 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4513 c Elapsed CPU time: 0.767883 s Remaining CPU time: 179.232 s c =============================================================================== c | 0 | 987 1084 66573 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4511 c Elapsed CPU time: 0.78888 s Remaining CPU time: 179.211 s c =============================================================================== c | 0 | 987 1085 67423 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4510 c Elapsed CPU time: 0.809876 s Remaining CPU time: 179.19 s c =============================================================================== c | 0 | 987 1086 68273 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4509 c Elapsed CPU time: 0.832873 s Remaining CPU time: 179.167 s c =============================================================================== c | 0 | 987 1087 69123 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4506 c Elapsed CPU time: 0.85387 s Remaining CPU time: 179.146 s c =============================================================================== c | 0 | 987 1088 69973 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4504 c Elapsed CPU time: 0.875866 s Remaining CPU time: 179.124 s c =============================================================================== c | 0 | 987 1089 70823 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4501 c Elapsed CPU time: 0.899863 s Remaining CPU time: 179.1 s c =============================================================================== c | 0 | 987 1090 71673 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4496 c Elapsed CPU time: 0.923859 s Remaining CPU time: 179.076 s c =============================================================================== c | 0 | 987 1091 72523 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4495 c Elapsed CPU time: 0.947855 s Remaining CPU time: 179.052 s c =============================================================================== c | 0 | 987 1092 73373 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4490 c Elapsed CPU time: 0.972852 s Remaining CPU time: 179.027 s c =============================================================================== c | 0 | 987 1093 74223 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4488 c Elapsed CPU time: 0.999848 s Remaining CPU time: 179 s c =============================================================================== c | 0 | 987 1094 75073 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4482 c Elapsed CPU time: 1.02384 s Remaining CPU time: 178.976 s c =============================================================================== c | 0 | 987 1095 75923 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4481 c Elapsed CPU time: 1.05184 s Remaining CPU time: 178.948 s c =============================================================================== c | 0 | 987 1096 76773 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4478 c Elapsed CPU time: 1.07883 s Remaining CPU time: 178.921 s c =============================================================================== c | 0 | 987 1097 77623 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4477 c Elapsed CPU time: 1.10583 s Remaining CPU time: 178.894 s c =============================================================================== c | 0 | 987 1098 78473 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4475 c Elapsed CPU time: 1.13383 s Remaining CPU time: 178.866 s c =============================================================================== c | 0 | 987 1099 79323 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4474 c Elapsed CPU time: 1.16382 s Remaining CPU time: 178.836 s c =============================================================================== c | 0 | 987 1100 80173 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4473 c Elapsed CPU time: 1.19482 s Remaining CPU time: 178.805 s c =============================================================================== c | 0 | 987 1101 81023 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4472 c Elapsed CPU time: 1.22581 s Remaining CPU time: 178.774 s c =============================================================================== c | 0 | 987 1102 81873 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4468 c Elapsed CPU time: 1.25481 s Remaining CPU time: 178.745 s c =============================================================================== c | 0 | 987 1103 82723 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4466 c Elapsed CPU time: 1.2848 s Remaining CPU time: 178.715 s c =============================================================================== c | 0 | 987 1104 83573 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4461 c Elapsed CPU time: 1.3158 s Remaining CPU time: 178.684 s c =============================================================================== c | 0 | 987 1105 84423 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4460 c Elapsed CPU time: 1.3438 s Remaining CPU time: 178.656 s c =============================================================================== c | 0 | 987 1106 85273 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4459 c Elapsed CPU time: 1.37579 s Remaining CPU time: 178.624 s c =============================================================================== c | 0 | 987 1107 86123 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4458 c Elapsed CPU time: 1.40579 s Remaining CPU time: 178.594 s c =============================================================================== c | 0 | 987 1108 86973 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4455 c Elapsed CPU time: 1.43678 s Remaining CPU time: 178.563 s c =============================================================================== c | 0 | 987 1109 87823 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4454 c Elapsed CPU time: 1.46878 s Remaining CPU time: 178.531 s c =============================================================================== c | 0 | 987 1110 88673 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4451 c Elapsed CPU time: 1.49977 s Remaining CPU time: 178.5 s c =============================================================================== c | 0 | 987 1111 89523 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4449 c Elapsed CPU time: 1.53177 s Remaining CPU time: 178.468 s c =============================================================================== c | 0 | 987 1112 90373 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4446 c Elapsed CPU time: 1.56376 s Remaining CPU time: 178.436 s c =============================================================================== c | 0 | 987 1113 91223 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4445 c Elapsed CPU time: 1.59776 s Remaining CPU time: 178.402 s c =============================================================================== c | 0 | 987 1114 92073 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4442 c Elapsed CPU time: 1.63175 s Remaining CPU time: 178.368 s c =============================================================================== c | 0 | 987 1115 92923 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4441 c Elapsed CPU time: 1.66375 s Remaining CPU time: 178.336 s c =============================================================================== c | 0 | 987 1116 93773 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4438 c Elapsed CPU time: 1.69574 s Remaining CPU time: 178.304 s c =============================================================================== c | 0 | 987 1117 94623 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4435 c Elapsed CPU time: 1.73074 s Remaining CPU time: 178.269 s c =============================================================================== c | 0 | 987 1118 95473 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4433 c Elapsed CPU time: 1.76673 s Remaining CPU time: 178.233 s c =============================================================================== c | 0 | 987 1119 96323 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4432 c Elapsed CPU time: 1.80273 s Remaining CPU time: 178.197 s c =============================================================================== c | 0 | 987 1120 97173 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4431 c Elapsed CPU time: 1.83772 s Remaining CPU time: 178.162 s c =============================================================================== c | 0 | 987 1121 98023 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4430 c Elapsed CPU time: 1.87271 s Remaining CPU time: 178.127 s c =============================================================================== c | 0 | 987 1122 98873 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4429 c Elapsed CPU time: 1.90771 s Remaining CPU time: 178.092 s c =============================================================================== c | 0 | 987 1123 99723 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4427 c Elapsed CPU time: 1.9427 s Remaining CPU time: 178.057 s c =============================================================================== c | 0 | 987 1124 100573 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4426 c Elapsed CPU time: 1.9797 s Remaining CPU time: 178.02 s c =============================================================================== c | 0 | 987 1125 101423 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4425 c Elapsed CPU time: 2.01569 s Remaining CPU time: 177.984 s c =============================================================================== c | 0 | 987 1126 102273 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4424 c Elapsed CPU time: 2.05069 s Remaining CPU time: 177.949 s c =============================================================================== c | 0 | 987 1127 103123 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4423 c Elapsed CPU time: 2.08668 s Remaining CPU time: 177.913 s c =============================================================================== c | 0 | 987 1128 103973 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4422 c Elapsed CPU time: 2.12368 s Remaining CPU time: 177.876 s c =============================================================================== c | 0 | 987 1129 104823 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4421 c Elapsed CPU time: 2.16267 s Remaining CPU time: 177.837 s c =============================================================================== c | 0 | 987 1130 105673 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4420 c Elapsed CPU time: 2.20267 s Remaining CPU time: 177.797 s c =============================================================================== c | 0 | 987 1131 106523 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4418 c Elapsed CPU time: 2.24666 s Remaining CPU time: 177.753 s c =============================================================================== c | 0 | 987 1132 107373 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4417 c Elapsed CPU time: 2.28865 s Remaining CPU time: 177.711 s c =============================================================================== c | 0 | 987 1133 108223 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4416 c Elapsed CPU time: 2.33065 s Remaining CPU time: 177.669 s c =============================================================================== c | 0 | 987 1134 109073 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4415 c Elapsed CPU time: 2.37264 s Remaining CPU time: 177.627 s c =============================================================================== c | 0 | 987 1135 109923 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4414 c Elapsed CPU time: 2.41463 s Remaining CPU time: 177.585 s c =============================================================================== c | 0 | 987 1136 110773 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4412 c Elapsed CPU time: 2.45563 s Remaining CPU time: 177.544 s c =============================================================================== c | 0 | 987 1137 111623 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4409 c Elapsed CPU time: 2.49362 s Remaining CPU time: 177.506 s c =============================================================================== c | 0 | 987 1138 112473 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4408 c Elapsed CPU time: 2.53661 s Remaining CPU time: 177.463 s c =============================================================================== c | 0 | 987 1139 113323 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4407 c Elapsed CPU time: 2.57761 s Remaining CPU time: 177.422 s c =============================================================================== c | 0 | 987 1140 114173 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4405 c Elapsed CPU time: 2.6196 s Remaining CPU time: 177.38 s c =============================================================================== c | 0 | 987 1141 115023 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4404 c Elapsed CPU time: 2.6616 s Remaining CPU time: 177.338 s c =============================================================================== c | 0 | 987 1142 115873 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4403 c Elapsed CPU time: 2.70659 s Remaining CPU time: 177.293 s c =============================================================================== c | 0 | 987 1143 116723 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4401 c Elapsed CPU time: 2.75158 s Remaining CPU time: 177.248 s c =============================================================================== c | 0 | 987 1144 117573 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4400 c Elapsed CPU time: 2.79557 s Remaining CPU time: 177.204 s c =============================================================================== c | 0 | 987 1145 118423 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4399 c Elapsed CPU time: 2.83957 s Remaining CPU time: 177.16 s c =============================================================================== c | 0 | 987 1146 119273 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4398 c Elapsed CPU time: 2.88356 s Remaining CPU time: 177.116 s c =============================================================================== c | 0 | 987 1147 120123 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4396 c Elapsed CPU time: 2.92855 s Remaining CPU time: 177.071 s c =============================================================================== c | 0 | 987 1148 120973 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4395 c Elapsed CPU time: 2.97355 s Remaining CPU time: 177.026 s c =============================================================================== c | 0 | 987 1149 121823 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4394 c Elapsed CPU time: 3.01854 s Remaining CPU time: 176.981 s c =============================================================================== c | 0 | 987 1150 122673 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4389 c Elapsed CPU time: 3.06753 s Remaining CPU time: 176.932 s c =============================================================================== c | 0 | 987 1151 123523 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4388 c Elapsed CPU time: 3.11553 s Remaining CPU time: 176.884 s c =============================================================================== c | 0 | 987 1152 124373 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4387 c Elapsed CPU time: 3.16352 s Remaining CPU time: 176.836 s c =============================================================================== c | 0 | 987 1153 125223 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4386 c Elapsed CPU time: 3.21051 s Remaining CPU time: 176.789 s c =============================================================================== c | 0 | 987 1154 126073 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4385 c Elapsed CPU time: 3.2595 s Remaining CPU time: 176.74 s c =============================================================================== c | 0 | 987 1155 126923 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4384 c Elapsed CPU time: 3.3075 s Remaining CPU time: 176.693 s c =============================================================================== c | 0 | 987 1156 127773 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4383 c Elapsed CPU time: 3.35649 s Remaining CPU time: 176.644 s c =============================================================================== c | 0 | 987 1157 128623 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4381 c Elapsed CPU time: 3.40548 s Remaining CPU time: 176.595 s c =============================================================================== c | 0 | 987 1158 129473 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4380 c Elapsed CPU time: 3.45647 s Remaining CPU time: 176.544 s c =============================================================================== c | 0 | 987 1159 130323 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4377 c Elapsed CPU time: 3.50547 s Remaining CPU time: 176.495 s c =============================================================================== c | 0 | 987 1160 131173 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4376 c Elapsed CPU time: 3.55346 s Remaining CPU time: 176.447 s c =============================================================================== c | 0 | 987 1161 132023 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4374 c Elapsed CPU time: 3.60145 s Remaining CPU time: 176.399 s c =============================================================================== c | 0 | 987 1162 132873 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4372 c Elapsed CPU time: 3.64945 s Remaining CPU time: 176.351 s c =============================================================================== c | 0 | 987 1163 133723 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4370 c Elapsed CPU time: 3.70044 s Remaining CPU time: 176.3 s c =============================================================================== c | 0 | 987 1164 134573 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4369 c Elapsed CPU time: 3.74843 s Remaining CPU time: 176.252 s c =============================================================================== c | 0 | 987 1165 135423 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4367 c Elapsed CPU time: 3.80142 s Remaining CPU time: 176.199 s c =============================================================================== c | 0 | 987 1166 136273 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4363 c Elapsed CPU time: 3.85441 s Remaining CPU time: 176.146 s c =============================================================================== c | 0 | 987 1167 137123 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4362 c Elapsed CPU time: 3.90441 s Remaining CPU time: 176.096 s c =============================================================================== c | 0 | 987 1168 137973 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4361 c Elapsed CPU time: 3.9544 s Remaining CPU time: 176.046 s c =============================================================================== c | 0 | 987 1169 138823 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4360 c Elapsed CPU time: 4.00639 s Remaining CPU time: 175.994 s c =============================================================================== c | 0 | 987 1170 139673 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4356 c Elapsed CPU time: 4.05538 s Remaining CPU time: 175.945 s c =============================================================================== c | 0 | 987 1171 140523 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4355 c Elapsed CPU time: 4.10738 s Remaining CPU time: 175.893 s c =============================================================================== c | 0 | 987 1172 141373 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4354 c Elapsed CPU time: 4.15737 s Remaining CPU time: 175.843 s c =============================================================================== c | 0 | 987 1173 142223 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4352 c Elapsed CPU time: 4.20936 s Remaining CPU time: 175.791 s c =============================================================================== c | 0 | 987 1174 143073 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4349 c Elapsed CPU time: 4.26235 s Remaining CPU time: 175.738 s c =============================================================================== c | 0 | 987 1175 143923 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4347 c Elapsed CPU time: 4.31534 s Remaining CPU time: 175.685 s c =============================================================================== c | 0 | 987 1176 144773 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4346 c Elapsed CPU time: 4.36834 s Remaining CPU time: 175.632 s c =============================================================================== c | 0 | 987 1177 145623 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4344 c Elapsed CPU time: 4.42533 s Remaining CPU time: 175.575 s c =============================================================================== c | 0 | 987 1178 146473 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4342 c Elapsed CPU time: 4.47832 s Remaining CPU time: 175.522 s c =============================================================================== c | 0 | 987 1179 147323 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4339 c Elapsed CPU time: 4.53231 s Remaining CPU time: 175.468 s c =============================================================================== c | 0 | 987 1180 148173 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4336 c Elapsed CPU time: 4.5873 s Remaining CPU time: 175.413 s c =============================================================================== c | 0 | 987 1181 149023 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4335 c Elapsed CPU time: 4.64629 s Remaining CPU time: 175.354 s c =============================================================================== c | 0 | 987 1182 149873 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4334 c Elapsed CPU time: 4.70228 s Remaining CPU time: 175.298 s c =============================================================================== c | 0 | 987 1183 150723 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4332 c Elapsed CPU time: 4.75728 s Remaining CPU time: 175.243 s c =============================================================================== c | 0 | 987 1184 151573 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4331 c Elapsed CPU time: 4.81327 s Remaining CPU time: 175.187 s c =============================================================================== c | 0 | 987 1185 152423 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4328 c Elapsed CPU time: 4.86926 s Remaining CPU time: 175.131 s c =============================================================================== c | 0 | 987 1186 153273 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4325 c Elapsed CPU time: 4.92825 s Remaining CPU time: 175.072 s c =============================================================================== c | 0 | 987 1187 154123 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4324 c Elapsed CPU time: 4.99224 s Remaining CPU time: 175.008 s c =============================================================================== c | 1 | 987 1188 154973 | 5000 1 806 | 0.000 % | c =============================================================================== c New solution: 4323 c Elapsed CPU time: 5.05223 s Remaining CPU time: 174.948 s c =============================================================================== c | 1 | 987 1189 155823 | 5000 1 806 | 0.000 % | c =============================================================================== c New solution: 4322 c Elapsed CPU time: 5.11222 s Remaining CPU time: 174.888 s c =============================================================================== c | 2 | 987 1190 156673 | 5000 2 804 | 0.000 % | c =============================================================================== c New solution: 4321 c Elapsed CPU time: 5.17621 s Remaining CPU time: 174.824 s c =============================================================================== c | 2 | 987 1191 157523 | 5000 2 804 | 0.000 % | c =============================================================================== c New solution: 4320 c Elapsed CPU time: 5.2382 s Remaining CPU time: 174.762 s c =============================================================================== c | 2 | 987 1192 158373 | 5000 2 804 | 0.000 % | c =============================================================================== c New solution: 4319 c Elapsed CPU time: 5.30119 s Remaining CPU time: 174.699 s c =============================================================================== c | 2 | 987 1193 159223 | 5000 2 804 | 0.000 % | c =============================================================================== c New solution: 4318 c Elapsed CPU time: 5.36418 s Remaining CPU time: 174.636 s c =============================================================================== c | 2 | 987 1194 160073 | 5000 2 804 | 0.000 % | c =============================================================================== c New solution: 4317 c Elapsed CPU time: 5.43117 s Remaining CPU time: 174.569 s c =============================================================================== c | 2 | 987 1195 160923 | 5000 2 804 | 0.000 % | c =============================================================================== c New solution: 4316 c Elapsed CPU time: 5.49416 s Remaining CPU time: 174.506 s c =============================================================================== c | 3 | 987 1196 161773 | 5000 3 803 | 0.000 % | c =============================================================================== c New solution: 4314 c Elapsed CPU time: 5.55616 s Remaining CPU time: 174.444 s c =============================================================================== c | 3 | 987 1197 162623 | 5000 3 803 | 0.000 % | c =============================================================================== c New solution: 4313 c Elapsed CPU time: 5.62115 s Remaining CPU time: 174.379 s c =============================================================================== c | 3 | 987 1198 163473 | 5000 3 803 | 0.000 % | c =============================================================================== c New solution: 4311 c Elapsed CPU time: 5.68813 s Remaining CPU time: 174.312 s c =============================================================================== c | 5 | 987 1199 164323 | 5000 5 802 | 0.000 % | c =============================================================================== c New solution: 4310 c Elapsed CPU time: 5.75312 s Remaining CPU time: 174.247 s c =============================================================================== c | 6 | 987 1200 165173 | 5000 6 802 | 0.000 % | c =============================================================================== c New solution: 4309 c Elapsed CPU time: 5.82111 s Remaining CPU time: 174.179 s c =============================================================================== c | 7 | 987 1201 166023 | 5000 7 801 | 0.000 % | c =============================================================================== c New solution: 4308 c Elapsed CPU time: 5.8931 s Remaining CPU time: 174.107 s c =============================================================================== c | 7 | 987 1202 166873 | 5000 7 801 | 0.000 % | c =============================================================================== c New solution: 4307 c Elapsed CPU time: 5.96209 s Remaining CPU time: 174.038 s c =============================================================================== c | 9 | 987 1203 167723 | 5000 9 802 | 0.000 % | c =============================================================================== c New solution: 4306 c Elapsed CPU time: 6.03008 s Remaining CPU time: 173.97 s c =============================================================================== c | 10 | 987 1204 168573 | 5000 10 722 | 0.000 % | c =============================================================================== c New solution: 4305 c Elapsed CPU time: 6.10107 s Remaining CPU time: 173.899 s c =============================================================================== c | 13 | 987 1205 169423 | 5000 13 678 | 0.000 % | c =============================================================================== c New solution: 4304 c Elapsed CPU time: 6.16906 s Remaining CPU time: 173.831 s c =============================================================================== c | 13 | 987 1206 170273 | 5000 13 678 | 0.000 % | c =============================================================================== c New solution: 4303 c Elapsed CPU time: 6.24305 s Remaining CPU time: 173.757 s c =============================================================================== c | 13 | 987 1207 171123 | 5000 13 678 | 0.000 % | c =============================================================================== c New solution: 4302 c Elapsed CPU time: 6.30904 s Remaining CPU time: 173.691 s c =============================================================================== c | 13 | 987 1208 171973 | 5000 13 678 | 0.000 % | c =============================================================================== c New solution: 4301 c Elapsed CPU time: 6.38203 s Remaining CPU time: 173.618 s c =============================================================================== c | 16 | 987 1209 172823 | 5000 16 701 | 0.000 % | c =============================================================================== c New solution: 4300 c Elapsed CPU time: 6.45102 s Remaining CPU time: 173.549 s c =============================================================================== c | 16 | 987 1210 173673 | 5000 16 701 | 0.000 % | c =============================================================================== c New solution: 4299 c Elapsed CPU time: 6.52401 s Remaining CPU time: 173.476 s c =============================================================================== c | 18 | 987 1211 174523 | 5000 18 712 | 0.000 % | c =============================================================================== c New solution: 4298 c Elapsed CPU time: 6.596 s Remaining CPU time: 173.404 s c =============================================================================== c | 18 | 987 1212 175373 | 5000 18 712 | 0.000 % | c =============================================================================== c New solution: 4297 c Elapsed CPU time: 6.67298 s Remaining CPU time: 173.327 s c =============================================================================== c | 18 | 987 1213 176223 | 5000 18 712 | 0.000 % | c =============================================================================== c New solution: 4296 c Elapsed CPU time: 6.75097 s Remaining CPU time: 173.249 s c =============================================================================== c | 18 | 987 1214 177073 | 5000 18 712 | 0.000 % | c =============================================================================== c New solution: 4295 c Elapsed CPU time: 6.82896 s Remaining CPU time: 173.171 s c =============================================================================== c | 19 | 987 1215 177923 | 5000 19 716 | 0.000 % | c =============================================================================== c New solution: 4294 c Elapsed CPU time: 6.89995 s Remaining CPU time: 173.1 s c =============================================================================== c | 19 | 987 1216 178773 | 5000 19 716 | 0.000 % | c =============================================================================== c New solution: 4293 c Elapsed CPU time: 6.97294 s Remaining CPU time: 173.027 s c =============================================================================== c | 19 | 987 1217 179623 | 5000 19 716 | 0.000 % | c =============================================================================== c New solution: 4292 c Elapsed CPU time: 7.04793 s Remaining CPU time: 172.952 s c =============================================================================== c | 19 | 987 1218 180473 | 5000 19 716 | 0.000 % | c =============================================================================== c New solution: 4291 c Elapsed CPU time: 7.12392 s Remaining CPU time: 172.876 s c =============================================================================== c | 19 | 987 1219 181323 | 5000 19 716 | 0.000 % | c =============================================================================== c New solution: 4290 c Elapsed CPU time: 7.2029 s Remaining CPU time: 172.797 s c =============================================================================== c | 19 | 987 1220 182173 | 5000 19 716 | 0.000 % | c =============================================================================== c New solution: 4289 c Elapsed CPU time: 7.28189 s Remaining CPU time: 172.718 s c =============================================================================== c | 19 | 987 1221 183023 | 5000 19 716 | 0.000 % | c =============================================================================== c New solution: 4288 c Elapsed CPU time: 7.35688 s Remaining CPU time: 172.643 s c =============================================================================== c | 19 | 987 1222 183873 | 5000 19 716 | 0.000 % | c =============================================================================== c New solution: 4287 c Elapsed CPU time: 7.42987 s Remaining CPU time: 172.57 s c =============================================================================== c | 19 | 987 1223 184723 | 5000 19 716 | 0.000 % | c =============================================================================== c New solution: 4286 c Elapsed CPU time: 7.50286 s Remaining CPU time: 172.497 s c =============================================================================== c | 19 | 987 1224 185573 | 5000 19 716 | 0.000 % | c =============================================================================== c New solution: 4285 c Elapsed CPU time: 7.57985 s Remaining CPU time: 172.42 s c =============================================================================== c | 19 | 987 1225 186423 | 5000 19 716 | 0.000 % | c =============================================================================== c New solution: 4284 c Elapsed CPU time: 7.65584 s Remaining CPU time: 172.344 s c =============================================================================== c | 19 | 987 1226 187273 | 5000 19 716 | 0.000 % | c =============================================================================== c New solution: 4283 c Elapsed CPU time: 7.73782 s Remaining CPU time: 172.262 s c =============================================================================== c | 24 | 987 1227 188123 | 5000 24 733 | 0.000 % | c =============================================================================== c New solution: 4282 c Elapsed CPU time: 7.82181 s Remaining CPU time: 172.178 s c =============================================================================== c | 24 | 987 1228 188973 | 5000 24 733 | 0.000 % | c =============================================================================== c New solution: 4281 c Elapsed CPU time: 7.9058 s Remaining CPU time: 172.094 s c =============================================================================== c | 24 | 987 1229 189823 | 5000 24 733 | 0.000 % | c =============================================================================== c New solution: 4280 c Elapsed CPU time: 7.99078 s Remaining CPU time: 172.009 s c =============================================================================== c | 24 | 987 1230 190673 | 5000 24 733 | 0.000 % | c =============================================================================== c New solution: 4279 c Elapsed CPU time: 8.07177 s Remaining CPU time: 171.928 s c =============================================================================== c | 26 | 987 1231 191523 | 5000 26 738 | 0.000 % | c =============================================================================== c New solution: 4278 c Elapsed CPU time: 8.15076 s Remaining CPU time: 171.849 s c =============================================================================== c | 26 | 987 1232 192373 | 5000 26 738 | 0.000 % | c =============================================================================== c New solution: 4277 c Elapsed CPU time: 8.23475 s Remaining CPU time: 171.765 s c =============================================================================== c | 26 | 987 1233 193223 | 5000 26 738 | 0.000 % | c =============================================================================== c New solution: 4275 c Elapsed CPU time: 8.31474 s Remaining CPU time: 171.685 s c =============================================================================== c | 26 | 987 1234 194073 | 5000 26 738 | 0.000 % | c =============================================================================== c New solution: 4274 c Elapsed CPU time: 8.40272 s Remaining CPU time: 171.597 s c =============================================================================== c | 26 | 987 1235 194923 | 5000 26 738 | 0.000 % | c =============================================================================== c New solution: 4273 c Elapsed CPU time: 8.48771 s Remaining CPU time: 171.512 s c =============================================================================== c | 26 | 987 1236 195773 | 5000 26 738 | 0.000 % | c =============================================================================== c New solution: 4272 c Elapsed CPU time: 8.5757 s Remaining CPU time: 171.424 s c =============================================================================== c | 26 | 987 1237 196623 | 5000 26 738 | 0.000 % | c =============================================================================== c New solution: 4271 c Elapsed CPU time: 8.66368 s Remaining CPU time: 171.336 s c =============================================================================== c | 26 | 987 1238 197473 | 5000 26 738 | 0.000 % | c =============================================================================== c New solution: 4269 c Elapsed CPU time: 8.74967 s Remaining CPU time: 171.25 s c =============================================================================== c | 26 | 987 1239 198323 | 5000 26 738 | 0.000 % | c =============================================================================== c New solution: 4268 c Elapsed CPU time: 8.83366 s Remaining CPU time: 171.166 s c =============================================================================== c | 26 | 987 1240 199173 | 5000 26 738 | 0.000 % | c =============================================================================== c New solution: 4267 c Elapsed CPU time: 8.91864 s Remaining CPU time: 171.081 s c =============================================================================== c | 26 | 987 1241 200023 | 5000 26 738 | 0.000 % | c =============================================================================== c New solution: 4266 c Elapsed CPU time: 9.00863 s Remaining CPU time: 170.991 s c =============================================================================== c | 28 | 987 1242 200873 | 5000 28 742 | 0.000 % | c =============================================================================== c New solution: 4265 c Elapsed CPU time: 9.10062 s Remaining CPU time: 170.899 s c =============================================================================== c | 28 | 987 1243 201723 | 5000 28 742 | 0.000 % | c =============================================================================== c New solution: 4264 c Elapsed CPU time: 9.2036 s Remaining CPU time: 170.796 s c =============================================================================== c | 40 | 987 1244 202573 | 5000 40 757 | 0.000 % | c =============================================================================== c New solution: 4263 c Elapsed CPU time: 9.28459 s Remaining CPU time: 170.715 s c =============================================================================== c | 40 | 987 1245 203423 | 5000 40 757 | 0.000 % | c =============================================================================== c New solution: 4262 c Elapsed CPU time: 9.36558 s Remaining CPU time: 170.634 s c =============================================================================== c | 40 | 987 1246 204273 | 5000 40 757 | 0.000 % | c =============================================================================== c New solution: 4261 c Elapsed CPU time: 9.45456 s Remaining CPU time: 170.545 s c =============================================================================== c | 41 | 987 1247 205123 | 5000 41 739 | 0.000 % | c =============================================================================== c New solution: 4260 c Elapsed CPU time: 9.54355 s Remaining CPU time: 170.456 s c =============================================================================== c | 44 | 987 1248 205973 | 5000 44 742 | 0.000 % | c =============================================================================== c New solution: 4259 c Elapsed CPU time: 9.63054 s Remaining CPU time: 170.369 s c =============================================================================== c | 44 | 987 1249 206823 | 5000 44 742 | 0.000 % | c =============================================================================== c New solution: 4258 c Elapsed CPU time: 9.73252 s Remaining CPU time: 170.267 s c =============================================================================== c | 48 | 987 1250 207673 | 5000 48 746 | 0.000 % | c =============================================================================== c New solution: 4257 c Elapsed CPU time: 9.81651 s Remaining CPU time: 170.183 s c =============================================================================== c | 50 | 987 1251 208523 | 5000 50 748 | 0.000 % | c =============================================================================== c New solution: 4256 c Elapsed CPU time: 9.90249 s Remaining CPU time: 170.098 s c =============================================================================== c | 50 | 987 1252 209373 | 5000 50 748 | 0.000 % | c =============================================================================== c New solution: 4255 c Elapsed CPU time: 9.99348 s Remaining CPU time: 170.007 s c =============================================================================== c | 50 | 987 1253 210223 | 5000 50 748 | 0.000 % | c =============================================================================== c New solution: 4254 c Elapsed CPU time: 10.0855 s Remaining CPU time: 169.915 s c =============================================================================== c | 50 | 987 1254 211073 | 5000 50 748 | 0.000 % | c =============================================================================== c New solution: 4253 c Elapsed CPU time: 10.1795 s Remaining CPU time: 169.821 s c =============================================================================== c | 50 | 987 1255 211923 | 5000 50 748 | 0.000 % | c =============================================================================== c New solution: 4252 c Elapsed CPU time: 10.2754 s Remaining CPU time: 169.725 s c =============================================================================== c | 50 | 987 1256 212773 | 5000 50 748 | 0.000 % | c =============================================================================== c New solution: 4251 c Elapsed CPU time: 10.3644 s Remaining CPU time: 169.636 s c =============================================================================== c | 50 | 987 1257 213623 | 5000 50 748 | 0.000 % | c =============================================================================== c New solution: 4250 c Elapsed CPU time: 10.4624 s Remaining CPU time: 169.538 s c =============================================================================== c | 50 | 987 1258 214473 | 5000 50 748 | 0.000 % | c =============================================================================== c New solution: 4249 c Elapsed CPU time: 10.5614 s Remaining CPU time: 169.439 s c =============================================================================== c | 50 | 987 1259 215323 | 5000 50 748 | 0.000 % | c =============================================================================== c New solution: 4248 c Elapsed CPU time: 10.6564 s Remaining CPU time: 169.344 s c =============================================================================== c | 50 | 987 1260 216173 | 5000 50 748 | 0.000 % | c =============================================================================== c New solution: 4247 c Elapsed CPU time: 10.7554 s Remaining CPU time: 169.245 s c =============================================================================== c | 50 | 987 1261 217023 | 5000 50 748 | 0.000 % | c =============================================================================== c New solution: 4246 c Elapsed CPU time: 10.8583 s Remaining CPU time: 169.142 s c =============================================================================== c | 57 | 987 1262 217873 | 5000 57 753 | 0.000 % | c =============================================================================== c New solution: 4245 c Elapsed CPU time: 10.9583 s Remaining CPU time: 169.042 s c =============================================================================== c | 57 | 987 1263 218723 | 5000 57 753 | 0.000 % | c =============================================================================== c New solution: 4244 c Elapsed CPU time: 11.0593 s Remaining CPU time: 168.941 s c =============================================================================== c | 57 | 987 1264 219573 | 5000 57 753 | 0.000 % | c =============================================================================== c New solution: 4243 c Elapsed CPU time: 11.1553 s Remaining CPU time: 168.845 s c =============================================================================== c | 57 | 987 1265 220423 | 5000 57 753 | 0.000 % | c =============================================================================== c New solution: 4242 c Elapsed CPU time: 11.2563 s Remaining CPU time: 168.744 s c =============================================================================== c | 57 | 987 1266 221273 | 5000 57 753 | 0.000 % | c =============================================================================== c New solution: 4241 c Elapsed CPU time: 11.3493 s Remaining CPU time: 168.651 s c =============================================================================== c | 57 | 987 1267 222123 | 5000 57 753 | 0.000 % | c =============================================================================== c New solution: 4240 c Elapsed CPU time: 11.4463 s Remaining CPU time: 168.554 s c =============================================================================== c | 58 | 987 1268 222973 | 5000 58 753 | 0.000 % | c =============================================================================== c New solution: 4239 c Elapsed CPU time: 11.5632 s Remaining CPU time: 168.437 s c =============================================================================== c | 69 | 987 1269 223823 | 5000 69 759 | 0.000 % | c =============================================================================== c New solution: 4238 c Elapsed CPU time: 11.6672 s Remaining CPU time: 168.333 s c =============================================================================== c | 69 | 987 1270 224673 | 5000 69 759 | 0.000 % | c =============================================================================== c New solution: 4237 c Elapsed CPU time: 11.7692 s Remaining CPU time: 168.231 s c =============================================================================== c | 69 | 987 1271 225523 | 5000 69 759 | 0.000 % | c =============================================================================== c New solution: 4236 c Elapsed CPU time: 11.8652 s Remaining CPU time: 168.135 s c =============================================================================== c | 69 | 987 1272 226373 | 5000 69 759 | 0.000 % | c =============================================================================== c New solution: 4235 c Elapsed CPU time: 11.9712 s Remaining CPU time: 168.029 s c =============================================================================== c | 69 | 987 1273 227223 | 5000 69 759 | 0.000 % | c =============================================================================== c New solution: 4234 c Elapsed CPU time: 12.0792 s Remaining CPU time: 167.921 s c =============================================================================== c | 72 | 987 1274 228073 | 5000 72 760 | 0.000 % | c =============================================================================== c New solution: 4233 c Elapsed CPU time: 12.1871 s Remaining CPU time: 167.813 s c =============================================================================== c | 72 | 987 1275 228923 | 5000 72 760 | 0.000 % | c =============================================================================== c New solution: 4232 c Elapsed CPU time: 12.2841 s Remaining CPU time: 167.716 s c =============================================================================== c | 73 | 987 1276 229773 | 5000 73 761 | 0.000 % | c =============================================================================== c New solution: 4231 c Elapsed CPU time: 12.3931 s Remaining CPU time: 167.607 s c =============================================================================== c | 73 | 987 1277 230623 | 5000 73 761 | 0.000 % | c =============================================================================== c New solution: 4230 c Elapsed CPU time: 12.4931 s Remaining CPU time: 167.507 s c =============================================================================== c | 73 | 987 1278 231473 | 5000 73 761 | 0.000 % | c =============================================================================== c New solution: 4229 c Elapsed CPU time: 12.6011 s Remaining CPU time: 167.399 s c =============================================================================== c | 73 | 987 1279 232323 | 5000 73 761 | 0.000 % | c =============================================================================== c New solution: 4228 c Elapsed CPU time: 12.7071 s Remaining CPU time: 167.293 s c =============================================================================== c | 73 | 987 1280 233173 | 5000 73 761 | 0.000 % | c =============================================================================== c New solution: 4227 c Elapsed CPU time: 12.8191 s Remaining CPU time: 167.181 s c =============================================================================== c | 73 | 987 1281 234023 | 5000 73 761 | 0.000 % | c =============================================================================== c New solution: 4226 c Elapsed CPU time: 12.918 s Remaining CPU time: 167.082 s c =============================================================================== c | 73 | 987 1282 234873 | 5000 73 761 | 0.000 % | c =============================================================================== c New solution: 4225 c Elapsed CPU time: 13.03 s Remaining CPU time: 166.97 s c =============================================================================== c | 73 | 987 1283 235723 | 5000 73 761 | 0.000 % | c =============================================================================== c New solution: 4224 c Elapsed CPU time: 13.144 s Remaining CPU time: 166.856 s c =============================================================================== c | 73 | 987 1284 236573 | 5000 73 761 | 0.000 % | c =============================================================================== c New solution: 4223 c Elapsed CPU time: 13.246 s Remaining CPU time: 166.754 s c =============================================================================== c | 73 | 987 1285 237423 | 5000 73 761 | 0.000 % | c =============================================================================== c New solution: 4222 c Elapsed CPU time: 13.362 s Remaining CPU time: 166.638 s c =============================================================================== c | 73 | 987 1286 238273 | 5000 73 761 | 0.000 % | c =============================================================================== c New solution: 4221 c Elapsed CPU time: 13.472 s Remaining CPU time: 166.528 s c =============================================================================== c | 73 | 987 1287 239123 | 5000 73 761 | 0.000 % | c =============================================================================== c New solution: 4220 c Elapsed CPU time: 13.5899 s Remaining CPU time: 166.41 s c =============================================================================== c | 80 | 987 1288 239973 | 5000 80 763 | 0.000 % | c =============================================================================== c New solution: 4219 c Elapsed CPU time: 13.6919 s Remaining CPU time: 166.308 s c =============================================================================== c | 80 | 987 1289 240823 | 5000 80 763 | 0.000 % | c =============================================================================== c New solution: 4218 c Elapsed CPU time: 13.8029 s Remaining CPU time: 166.197 s c =============================================================================== c | 80 | 987 1290 241673 | 5000 80 763 | 0.000 % | c =============================================================================== c New solution: 4217 c Elapsed CPU time: 13.9149 s Remaining CPU time: 166.085 s c =============================================================================== c | 80 | 987 1291 242523 | 5000 80 763 | 0.000 % | c =============================================================================== c New solution: 4216 c Elapsed CPU time: 14.0289 s Remaining CPU time: 165.971 s c =============================================================================== c | 80 | 987 1292 243373 | 5000 80 763 | 0.000 % | c =============================================================================== c New solution: 4215 c Elapsed CPU time: 14.1518 s Remaining CPU time: 165.848 s c =============================================================================== c | 80 | 987 1293 244223 | 5000 80 763 | 0.000 % | c =============================================================================== c New solution: 4214 c Elapsed CPU time: 14.2608 s Remaining CPU time: 165.739 s c =============================================================================== c | 80 | 987 1294 245073 | 5000 80 763 | 0.000 % | c =============================================================================== c New solution: 4213 c Elapsed CPU time: 14.3668 s Remaining CPU time: 165.633 s c =============================================================================== c | 80 | 987 1295 245923 | 5000 80 763 | 0.000 % | c =============================================================================== c New solution: 4212 c Elapsed CPU time: 14.4748 s Remaining CPU time: 165.525 s c =============================================================================== c | 80 | 987 1296 246773 | 5000 80 763 | 0.000 % | c =============================================================================== c New solution: 4211 c Elapsed CPU time: 14.5898 s Remaining CPU time: 165.41 s c =============================================================================== c | 80 | 987 1297 247623 | 5000 80 763 | 0.000 % | c =============================================================================== c New solution: 4210 c Elapsed CPU time: 14.7028 s Remaining CPU time: 165.297 s c =============================================================================== c | 80 | 987 1298 248473 | 5000 80 763 | 0.000 % | c =============================================================================== c New solution: 4209 c Elapsed CPU time: 14.8247 s Remaining CPU time: 165.175 s c =============================================================================== c | 80 | 987 1299 249323 | 5000 80 763 | 0.000 % | c =============================================================================== c New solution: 4208 c Elapsed CPU time: 14.9407 s Remaining CPU time: 165.059 s c =============================================================================== c | 81 | 987 1300 250173 | 5000 81 763 | 0.000 % | c =============================================================================== c New solution: 4207 c Elapsed CPU time: 15.0557 s Remaining CPU time: 164.944 s c =============================================================================== c | 81 | 987 1301 251023 | 5000 81 763 | 0.000 % | c =============================================================================== c New solution: 4206 c Elapsed CPU time: 15.1697 s Remaining CPU time: 164.83 s c =============================================================================== c | 81 | 987 1302 251873 | 5000 81 763 | 0.000 % | c =============================================================================== c New solution: 4205 c Elapsed CPU time: 15.2887 s Remaining CPU time: 164.711 s c =============================================================================== c | 81 | 987 1303 252723 | 5000 81 763 | 0.000 % | c =============================================================================== c New solution: 4204 c Elapsed CPU time: 15.4177 s Remaining CPU time: 164.582 s c =============================================================================== c | 82 | 987 1304 253573 | 5000 82 763 | 0.000 % | c =============================================================================== c New solution: 4203 c Elapsed CPU time: 15.5406 s Remaining CPU time: 164.459 s c =============================================================================== c | 87 | 987 1305 254423 | 5000 87 764 | 0.000 % | c =============================================================================== c New solution: 4202 c Elapsed CPU time: 15.6596 s Remaining CPU time: 164.34 s c =============================================================================== c | 87 | 987 1306 255273 | 5000 87 764 | 0.000 % | c =============================================================================== c New solution: 4201 c Elapsed CPU time: 15.7766 s Remaining CPU time: 164.223 s c =============================================================================== c | 87 | 987 1307 256123 | 5000 87 764 | 0.000 % | c =============================================================================== c New solution: 4200 c Elapsed CPU time: 15.8916 s Remaining CPU time: 164.108 s c =============================================================================== c | 87 | 987 1308 256973 | 5000 87 764 | 0.000 % | c =============================================================================== c New solution: 4199 c Elapsed CPU time: 16.0046 s Remaining CPU time: 163.995 s c =============================================================================== c | 87 | 987 1309 257823 | 5000 87 764 | 0.000 % | c =============================================================================== c New solution: 4198 c Elapsed CPU time: 16.1165 s Remaining CPU time: 163.883 s c =============================================================================== c | 87 | 987 1310 258673 | 5000 87 764 | 0.000 % | c =============================================================================== c New solution: 4197 c Elapsed CPU time: 16.2335 s Remaining CPU time: 163.766 s c =============================================================================== c | 87 | 987 1311 259523 | 5000 87 764 | 0.000 % | c =============================================================================== c New solution: 4196 c Elapsed CPU time: 16.3525 s Remaining CPU time: 163.647 s c =============================================================================== c | 87 | 987 1312 260373 | 5000 87 764 | 0.000 % | c =============================================================================== c New solution: 4195 c Elapsed CPU time: 16.4705 s Remaining CPU time: 163.53 s c =============================================================================== c | 89 | 987 1313 261223 | 5000 89 765 | 0.000 % | c =============================================================================== c New solution: 4194 c Elapsed CPU time: 16.5955 s Remaining CPU time: 163.405 s c =============================================================================== c | 89 | 987 1314 262073 | 5000 89 765 | 0.000 % | c =============================================================================== c New solution: 4193 c Elapsed CPU time: 16.7115 s Remaining CPU time: 163.289 s c =============================================================================== c | 89 | 987 1315 262923 | 5000 89 765 | 0.000 % | c =============================================================================== c New solution: 4192 c Elapsed CPU time: 16.8434 s Remaining CPU time: 163.157 s c =============================================================================== c | 89 | 987 1316 263773 | 5000 89 765 | 0.000 % | c =============================================================================== c New solution: 4191 c Elapsed CPU time: 16.9684 s Remaining CPU time: 163.032 s c =============================================================================== c | 89 | 987 1317 264623 | 5000 89 765 | 0.000 % | c =============================================================================== c New solution: 4190 c Elapsed CPU time: 17.0954 s Remaining CPU time: 162.905 s c =============================================================================== c | 89 | 987 1318 265473 | 5000 89 765 | 0.000 % | c =============================================================================== c New solution: 4189 c Elapsed CPU time: 17.2094 s Remaining CPU time: 162.791 s c =============================================================================== c | 90 | 987 1319 266323 | 5000 90 765 | 0.000 % | c =============================================================================== c New solution: 4188 c Elapsed CPU time: 17.3204 s Remaining CPU time: 162.68 s c =============================================================================== c | 90 | 987 1320 267173 | 5000 90 765 | 0.000 % | c =============================================================================== c New solution: 4187 c Elapsed CPU time: 17.4343 s Remaining CPU time: 162.566 s c =============================================================================== c | 90 | 987 1321 268023 | 5000 90 765 | 0.000 % | c =============================================================================== c New solution: 4186 c Elapsed CPU time: 17.5543 s Remaining CPU time: 162.446 s c =============================================================================== c | 90 | 987 1322 268873 | 5000 90 765 | 0.000 % | c =============================================================================== c New solution: 4185 c Elapsed CPU time: 17.6703 s Remaining CPU time: 162.33 s c =============================================================================== c | 90 | 987 1323 269723 | 5000 90 765 | 0.000 % | c =============================================================================== c New solution: 4184 c Elapsed CPU time: 17.7953 s Remaining CPU time: 162.205 s c =============================================================================== c | 91 | 987 1324 270573 | 5000 91 765 | 0.000 % | c =============================================================================== c New solution: 4183 c Elapsed CPU time: 17.9243 s Remaining CPU time: 162.076 s c =============================================================================== c | 99 | 987 1325 271423 | 5000 99 766 | 0.000 % | c =============================================================================== c New solution: 4182 c Elapsed CPU time: 18.0503 s Remaining CPU time: 161.95 s c =============================================================================== c | 99 | 987 1326 272273 | 5000 99 766 | 0.000 % | c =============================================================================== c New solution: 4181 c Elapsed CPU time: 18.1742 s Remaining CPU time: 161.826 s c =============================================================================== c | 99 | 987 1327 273123 | 5000 99 766 | 0.000 % | c =============================================================================== c New solution: 4180 c Elapsed CPU time: 18.2982 s Remaining CPU time: 161.702 s c =============================================================================== c | 101 | 987 1328 273973 | 5000 101 766 | 0.000 % | c =============================================================================== c New solution: 4179 c Elapsed CPU time: 18.4282 s Remaining CPU time: 161.572 s c =============================================================================== c | 101 | 987 1329 274823 | 5000 101 766 | 0.000 % | c =============================================================================== c New solution: 4178 c Elapsed CPU time: 18.5562 s Remaining CPU time: 161.444 s c =============================================================================== c | 101 | 987 1330 275673 | 5000 101 766 | 0.000 % | c =============================================================================== c New solution: 4177 c Elapsed CPU time: 18.6792 s Remaining CPU time: 161.321 s c =============================================================================== c | 101 | 987 1331 276523 | 5000 101 766 | 0.000 % | c =============================================================================== c New solution: 4176 c Elapsed CPU time: 18.8001 s Remaining CPU time: 161.2 s c =============================================================================== c | 101 | 987 1332 277373 | 5000 101 766 | 0.000 % | c =============================================================================== c New solution: 4175 c Elapsed CPU time: 18.9331 s Remaining CPU time: 161.067 s c =============================================================================== c | 101 | 987 1333 278223 | 5000 101 766 | 0.000 % | c =============================================================================== c New solution: 4174 c Elapsed CPU time: 19.0691 s Remaining CPU time: 160.931 s c =============================================================================== c | 102 | 987 1334 279073 | 5000 102 766 | 0.000 % | c =============================================================================== c New solution: 4173 c Elapsed CPU time: 19.2021 s Remaining CPU time: 160.798 s c =============================================================================== c | 102 | 987 1335 279923 | 5000 102 766 | 0.000 % | c =============================================================================== c New solution: 4172 c Elapsed CPU time: 19.3291 s Remaining CPU time: 160.671 s c =============================================================================== c | 102 | 987 1336 280773 | 5000 102 766 | 0.000 % | c =============================================================================== c New solution: 4171 c Elapsed CPU time: 19.45 s Remaining CPU time: 160.55 s c =============================================================================== c | 102 | 987 1337 281623 | 5000 102 766 | 0.000 % | c =============================================================================== c New solution: 4170 c Elapsed CPU time: 19.576 s Remaining CPU time: 160.424 s c =============================================================================== c | 102 | 987 1338 282473 | 5000 102 766 | 0.000 % | c =============================================================================== c New solution: 4169 c Elapsed CPU time: 19.704 s Remaining CPU time: 160.296 s c =============================================================================== c | 102 | 987 1339 283323 | 5000 102 766 | 0.000 % | c =============================================================================== c New solution: 4168 c Elapsed CPU time: 19.844 s Remaining CPU time: 160.156 s c =============================================================================== c | 102 | 987 1340 284173 | 5000 102 766 | 0.000 % | c =============================================================================== c New solution: 4167 c Elapsed CPU time: 19.988 s Remaining CPU time: 160.012 s c =============================================================================== c | 102 | 987 1341 285023 | 5000 102 766 | 0.000 % | c =============================================================================== c New solution: 4166 c Elapsed CPU time: 20.1189 s Remaining CPU time: 159.881 s c =============================================================================== c | 102 | 987 1342 285873 | 5000 102 766 | 0.000 % | c =============================================================================== c New solution: 4165 c Elapsed CPU time: 20.2489 s Remaining CPU time: 159.751 s c =============================================================================== c | 102 | 987 1343 286723 | 5000 102 766 | 0.000 % | c =============================================================================== c New solution: 4164 c Elapsed CPU time: 20.3849 s Remaining CPU time: 159.615 s c =============================================================================== c | 102 | 987 1344 287573 | 5000 102 766 | 0.000 % | c =============================================================================== c New solution: 4163 c Elapsed CPU time: 20.5139 s Remaining CPU time: 159.486 s c =============================================================================== c | 102 | 987 1345 288423 | 5000 102 766 | 0.000 % | c =============================================================================== c New solution: 4162 c Elapsed CPU time: 20.6469 s Remaining CPU time: 159.353 s c =============================================================================== c | 102 | 987 1346 289273 | 5000 102 766 | 0.000 % | c =============================================================================== c New solution: 4161 c Elapsed CPU time: 20.7868 s Remaining CPU time: 159.213 s c =============================================================================== c | 102 | 987 1347 290123 | 5000 102 766 | 0.000 % | c =============================================================================== c New solution: 4160 c Elapsed CPU time: 20.9218 s Remaining CPU time: 159.078 s c =============================================================================== c | 108 | 987 1348 290973 | 5000 108 767 | 0.000 % | c =============================================================================== c New solution: 4159 c Elapsed CPU time: 21.0528 s Remaining CPU time: 158.947 s c =============================================================================== c | 108 | 987 1349 291823 | 5000 108 767 | 0.000 % | c =============================================================================== c New solution: 4158 c Elapsed CPU time: 21.1908 s Remaining CPU time: 158.809 s c =============================================================================== c | 108 | 987 1350 292673 | 5000 108 767 | 0.000 % | c =============================================================================== c New solution: 4157 c Elapsed CPU time: 21.3298 s Remaining CPU time: 158.67 s c =============================================================================== c | 108 | 987 1351 293523 | 5000 108 767 | 0.000 % | c =============================================================================== c New solution: 4156 c Elapsed CPU time: 21.4607 s Remaining CPU time: 158.539 s c =============================================================================== c | 108 | 987 1352 294373 | 5000 108 767 | 0.000 % | c =============================================================================== c New solution: 4155 c Elapsed CPU time: 21.5967 s Remaining CPU time: 158.403 s c =============================================================================== c | 108 | 987 1353 295223 | 5000 108 767 | 0.000 % | c =============================================================================== c New solution: 4154 c Elapsed CPU time: 21.7247 s Remaining CPU time: 158.275 s c =============================================================================== c | 108 | 987 1354 296073 | 5000 108 767 | 0.000 % | c =============================================================================== c New solution: 4153 c Elapsed CPU time: 21.8617 s Remaining CPU time: 158.138 s c =============================================================================== c | 108 | 987 1355 296923 | 5000 108 767 | 0.000 % | c =============================================================================== c New solution: 4152 c Elapsed CPU time: 21.9937 s Remaining CPU time: 158.006 s c =============================================================================== c | 113 | 987 1356 297773 | 5000 113 767 | 0.000 % | c =============================================================================== c New solution: 4151 c Elapsed CPU time: 22.1376 s Remaining CPU time: 157.862 s c =============================================================================== c | 115 | 987 1357 298623 | 5000 115 767 | 0.000 % | c =============================================================================== c New solution: 4150 c Elapsed CPU time: 22.2676 s Remaining CPU time: 157.732 s c =============================================================================== c | 115 | 987 1358 299473 | 5000 115 767 | 0.000 % | c =============================================================================== c New solution: 4149 c Elapsed CPU time: 22.3976 s Remaining CPU time: 157.602 s c =============================================================================== c | 115 | 987 1359 300323 | 5000 115 767 | 0.000 % | c =============================================================================== c New solution: 4148 c Elapsed CPU time: 22.5236 s Remaining CPU time: 157.476 s c =============================================================================== c | 115 | 987 1360 301173 | 5000 115 767 | 0.000 % | c =============================================================================== c New solution: 4147 c Elapsed CPU time: 22.6616 s Remaining CPU time: 157.338 s c =============================================================================== c | 115 | 987 1361 302023 | 5000 115 767 | 0.000 % | c =============================================================================== c New solution: 4146 c Elapsed CPU time: 22.8055 s Remaining CPU time: 157.194 s c =============================================================================== c | 117 | 987 1362 302873 | 5000 117 767 | 0.000 % | c =============================================================================== c New solution: 4145 c Elapsed CPU time: 22.9565 s Remaining CPU time: 157.043 s c =============================================================================== c | 120 | 987 1363 303723 | 5000 120 767 | 0.000 % | c =============================================================================== c New solution: 4144 c Elapsed CPU time: 23.0995 s Remaining CPU time: 156.901 s c =============================================================================== c | 120 | 987 1364 304573 | 5000 120 767 | 0.000 % | c =============================================================================== c New solution: 4143 c Elapsed CPU time: 23.2445 s Remaining CPU time: 156.756 s c =============================================================================== c | 121 | 987 1365 305423 | 5000 121 767 | 0.000 % | c =============================================================================== c New solution: 4142 c Elapsed CPU time: 23.3784 s Remaining CPU time: 156.622 s c =============================================================================== c | 121 | 987 1366 306273 | 5000 121 767 | 0.000 % | c =============================================================================== c New solution: 4141 c Elapsed CPU time: 23.5164 s Remaining CPU time: 156.484 s c =============================================================================== c | 122 | 987 1367 307123 | 5000 122 767 | 0.000 % | c =============================================================================== c New solution: 4140 c Elapsed CPU time: 23.6574 s Remaining CPU time: 156.343 s c =============================================================================== c | 122 | 987 1368 307973 | 5000 122 767 | 0.000 % | c =============================================================================== c New solution: 4139 c Elapsed CPU time: 23.7954 s Remaining CPU time: 156.205 s c =============================================================================== c | 123 | 987 1369 308823 | 5000 123 767 | 0.000 % | c =============================================================================== c New solution: 4138 c Elapsed CPU time: 23.9384 s Remaining CPU time: 156.062 s c =============================================================================== c | 123 | 987 1370 309673 | 5000 123 767 | 0.000 % | c =============================================================================== c New solution: 4137 c Elapsed CPU time: 24.1223 s Remaining CPU time: 155.878 s c =============================================================================== c | 161 | 987 1371 310523 | 5000 161 768 | 0.000 % | c =============================================================================== c New solution: 4136 c Elapsed CPU time: 24.2633 s Remaining CPU time: 155.737 s c =============================================================================== c | 161 | 987 1372 311373 | 5000 161 768 | 0.000 % | c =============================================================================== c New solution: 4135 c Elapsed CPU time: 24.4073 s Remaining CPU time: 155.593 s c =============================================================================== c | 161 | 987 1373 312223 | 5000 161 768 | 0.000 % | c =============================================================================== c New solution: 4134 c Elapsed CPU time: 24.5533 s Remaining CPU time: 155.447 s c =============================================================================== c | 161 | 987 1374 313073 | 5000 161 768 | 0.000 % | c =============================================================================== c New solution: 4133 c Elapsed CPU time: 24.6952 s Remaining CPU time: 155.305 s c =============================================================================== c | 162 | 987 1375 313923 | 5000 162 768 | 0.000 % | c =============================================================================== c New solution: 4132 c Elapsed CPU time: 24.8332 s Remaining CPU time: 155.167 s c =============================================================================== c | 162 | 987 1376 314773 | 5000 162 768 | 0.000 % | c =============================================================================== c New solution: 4131 c Elapsed CPU time: 24.9672 s Remaining CPU time: 155.033 s c =============================================================================== c | 162 | 987 1377 315623 | 5000 162 768 | 0.000 % | c =============================================================================== c New solution: 4130 c Elapsed CPU time: 25.1382 s Remaining CPU time: 154.862 s c =============================================================================== c | 182 | 987 1378 316473 | 5000 182 768 | 0.000 % | c =============================================================================== c New solution: 4129 c Elapsed CPU time: 25.2812 s Remaining CPU time: 154.719 s c =============================================================================== c | 182 | 987 1379 317323 | 5000 182 768 | 0.000 % | c =============================================================================== c New solution: 4128 c Elapsed CPU time: 25.4271 s Remaining CPU time: 154.573 s c =============================================================================== c | 182 | 987 1380 318173 | 5000 182 768 | 0.000 % | c =============================================================================== c New solution: 4127 c Elapsed CPU time: 25.5701 s Remaining CPU time: 154.43 s c =============================================================================== c | 182 | 987 1381 319023 | 5000 182 768 | 0.000 % | c =============================================================================== c New solution: 4126 c Elapsed CPU time: 25.7741 s Remaining CPU time: 154.226 s c =============================================================================== c | 197 | 987 1382 319873 | 5000 197 764 | 0.000 % | c =============================================================================== c New solution: 4125 c Elapsed CPU time: 25.9241 s Remaining CPU time: 154.076 s c =============================================================================== c | 197 | 987 1383 320723 | 5000 197 764 | 0.000 % | c =============================================================================== c New solution: 4124 c Elapsed CPU time: 26.083 s Remaining CPU time: 153.917 s c =============================================================================== c | 211 | 987 1384 321573 | 5000 211 764 | 0.000 % | c =============================================================================== c New solution: 4123 c Elapsed CPU time: 26.232 s Remaining CPU time: 153.768 s c =============================================================================== c | 213 | 987 1385 322423 | 5000 213 764 | 0.000 % | c =============================================================================== c New solution: 4122 c Elapsed CPU time: 26.384 s Remaining CPU time: 153.616 s c =============================================================================== c | 213 | 987 1386 323273 | 5000 213 764 | 0.000 % | c =============================================================================== c New solution: 4121 c Elapsed CPU time: 26.533 s Remaining CPU time: 153.467 s c =============================================================================== c | 218 | 987 1387 324123 | 5000 218 764 | 0.000 % | c =============================================================================== c New solution: 4120 c Elapsed CPU time: 26.6909 s Remaining CPU time: 153.309 s c =============================================================================== c | 219 | 987 1388 324973 | 5000 219 764 | 0.000 % | c =============================================================================== c New solution: 4119 c Elapsed CPU time: 26.8349 s Remaining CPU time: 153.165 s c =============================================================================== c | 219 | 987 1389 325823 | 5000 219 764 | 0.000 % | c =============================================================================== c New solution: 4118 c Elapsed CPU time: 26.9879 s Remaining CPU time: 153.012 s c =============================================================================== c | 223 | 987 1390 326673 | 5000 223 764 | 0.000 % | c =============================================================================== c New solution: 4117 c Elapsed CPU time: 27.2289 s Remaining CPU time: 152.771 s c =============================================================================== c | 274 | 987 1391 327523 | 5000 274 764 | 0.000 % | c =============================================================================== c New solution: 4116 c Elapsed CPU time: 27.3738 s Remaining CPU time: 152.626 s c =============================================================================== c | 274 | 987 1392 328373 | 5000 274 764 | 0.000 % | c =============================================================================== c New solution: 4115 c Elapsed CPU time: 27.5248 s Remaining CPU time: 152.475 s c =============================================================================== c | 275 | 987 1393 329223 | 5000 275 764 | 0.000 % | c =============================================================================== c New solution: 4114 c Elapsed CPU time: 27.6968 s Remaining CPU time: 152.303 s c =============================================================================== c | 279 | 987 1394 330073 | 5000 279 762 | 0.000 % | c =============================================================================== c New solution: 4113 c Elapsed CPU time: 27.8448 s Remaining CPU time: 152.155 s c =============================================================================== c | 280 | 987 1395 330923 | 5000 280 762 | 0.000 % | c =============================================================================== c New solution: 4112 c Elapsed CPU time: 27.9967 s Remaining CPU time: 152.003 s c =============================================================================== c | 281 | 987 1396 331773 | 5000 281 762 | 0.000 % | c =============================================================================== c New solution: 4111 c Elapsed CPU time: 28.1567 s Remaining CPU time: 151.843 s c =============================================================================== c | 290 | 987 1397 332623 | 5000 290 762 | 0.000 % | c =============================================================================== c New solution: 4110 c Elapsed CPU time: 28.3047 s Remaining CPU time: 151.695 s c =============================================================================== c | 290 | 987 1398 333473 | 5000 290 762 | 0.000 % | c =============================================================================== c New solution: 4109 c Elapsed CPU time: 28.4507 s Remaining CPU time: 151.549 s c =============================================================================== c | 290 | 987 1399 334323 | 5000 290 762 | 0.000 % | c =============================================================================== c New solution: 4108 c Elapsed CPU time: 28.6356 s Remaining CPU time: 151.364 s c =============================================================================== c | 315 | 987 1400 335173 | 5000 315 762 | 0.000 % | c =============================================================================== c New solution: 4107 c Elapsed CPU time: 28.7996 s Remaining CPU time: 151.2 s c =============================================================================== c | 324 | 987 1401 336023 | 5000 324 762 | 0.000 % | c =============================================================================== c New solution: 4106 c Elapsed CPU time: 28.9556 s Remaining CPU time: 151.044 s c =============================================================================== c | 324 | 987 1402 336873 | 5000 324 762 | 0.000 % | c =============================================================================== c New solution: 4105 c Elapsed CPU time: 29.1076 s Remaining CPU time: 150.892 s c =============================================================================== c | 327 | 987 1403 337723 | 5000 327 762 | 0.000 % | c =============================================================================== c New solution: 4104 c Elapsed CPU time: 29.2725 s Remaining CPU time: 150.727 s c =============================================================================== c | 330 | 987 1404 338573 | 5000 330 762 | 0.000 % | c =============================================================================== c New solution: 4103 c Elapsed CPU time: 29.4365 s Remaining CPU time: 150.563 s c =============================================================================== c | 333 | 987 1405 339423 | 5000 333 762 | 0.000 % | c =============================================================================== c New solution: 4102 c Elapsed CPU time: 29.5845 s Remaining CPU time: 150.415 s c =============================================================================== c | 333 | 987 1406 340273 | 5000 333 762 | 0.000 % | c =============================================================================== c New solution: 4101 c Elapsed CPU time: 29.7445 s Remaining CPU time: 150.256 s c =============================================================================== c | 339 | 987 1407 341123 | 5000 339 762 | 0.000 % | c =============================================================================== c New solution: 4100 c Elapsed CPU time: 29.9005 s Remaining CPU time: 150.1 s c =============================================================================== c | 341 | 987 1408 341973 | 5000 341 760 | 0.000 % | c =============================================================================== c New solution: 4099 c Elapsed CPU time: 30.0804 s Remaining CPU time: 149.92 s c =============================================================================== c | 344 | 987 1409 342823 | 5000 344 760 | 0.000 % | c =============================================================================== c New solution: 4098 c Elapsed CPU time: 30.2384 s Remaining CPU time: 149.762 s c =============================================================================== c | 345 | 987 1410 343673 | 5000 345 760 | 0.000 % | c =============================================================================== c New solution: 4097 c Elapsed CPU time: 30.4004 s Remaining CPU time: 149.6 s c =============================================================================== c | 346 | 987 1411 344523 | 5000 346 760 | 0.000 % | c =============================================================================== c New solution: 4096 c Elapsed CPU time: 30.5644 s Remaining CPU time: 149.436 s c =============================================================================== c | 348 | 987 1412 345373 | 5000 348 760 | 0.000 % | c =============================================================================== c New solution: 4095 c Elapsed CPU time: 30.7173 s Remaining CPU time: 149.283 s c =============================================================================== c | 348 | 987 1413 346223 | 5000 348 760 | 0.000 % | c =============================================================================== c New solution: 4094 c Elapsed CPU time: 30.8783 s Remaining CPU time: 149.122 s c =============================================================================== c | 350 | 987 1414 347073 | 5000 350 760 | 0.000 % | c =============================================================================== c New solution: 4093 c Elapsed CPU time: 31.0283 s Remaining CPU time: 148.972 s c =============================================================================== c | 350 | 987 1415 347923 | 5000 350 760 | 0.000 % | c =============================================================================== c New solution: 4092 c Elapsed CPU time: 31.2392 s Remaining CPU time: 148.761 s c =============================================================================== c | 368 | 987 1416 348773 | 5000 368 760 | 0.000 % | c =============================================================================== c New solution: 4091 c Elapsed CPU time: 31.4012 s Remaining CPU time: 148.599 s c =============================================================================== c | 370 | 987 1417 349623 | 5000 370 760 | 0.000 % | c =============================================================================== c New solution: 4090 c Elapsed CPU time: 31.5492 s Remaining CPU time: 148.451 s c =============================================================================== c | 370 | 987 1418 350473 | 5000 370 760 | 0.000 % | c =============================================================================== c New solution: 4089 c Elapsed CPU time: 31.7012 s Remaining CPU time: 148.299 s c =============================================================================== c | 370 | 987 1419 351323 | 5000 370 760 | 0.000 % | c =============================================================================== c New solution: 4088 c Elapsed CPU time: 31.8572 s Remaining CPU time: 148.143 s c =============================================================================== c | 371 | 987 1420 352173 | 5000 371 760 | 0.000 % | c =============================================================================== c New solution: 4087 c Elapsed CPU time: 32.0151 s Remaining CPU time: 147.985 s c =============================================================================== c | 371 | 987 1421 353023 | 5000 371 760 | 0.000 % | c =============================================================================== c New solution: 4086 c Elapsed CPU time: 32.1731 s Remaining CPU time: 147.827 s c =============================================================================== c | 372 | 987 1422 353873 | 5000 372 760 | 0.000 % | c =============================================================================== c New solution: 4085 c Elapsed CPU time: 32.3331 s Remaining CPU time: 147.667 s c =============================================================================== c | 374 | 987 1423 354723 | 5000 374 760 | 0.000 % | c =============================================================================== c New solution: 4084 c Elapsed CPU time: 32.4961 s Remaining CPU time: 147.504 s c =============================================================================== c | 376 | 987 1424 355573 | 5000 376 760 | 0.000 % | c =============================================================================== c New solution: 4083 c Elapsed CPU time: 32.654 s Remaining CPU time: 147.346 s c =============================================================================== c | 381 | 987 1425 356423 | 5000 381 760 | 0.000 % | c =============================================================================== c New solution: 4082 c Elapsed CPU time: 32.811 s Remaining CPU time: 147.189 s c =============================================================================== c | 381 | 987 1426 357273 | 5000 381 760 | 0.000 % | c =============================================================================== c New solution: 4081 c Elapsed CPU time: 32.965 s Remaining CPU time: 147.035 s c =============================================================================== c | 381 | 987 1427 358123 | 5000 381 760 | 0.000 % | c =============================================================================== c New solution: 4080 c Elapsed CPU time: 33.131 s Remaining CPU time: 146.869 s c =============================================================================== c | 383 | 987 1428 358973 | 5000 383 760 | 0.000 % | c =============================================================================== c New solution: 4079 c Elapsed CPU time: 33.2979 s Remaining CPU time: 146.702 s c =============================================================================== c | 383 | 987 1429 359823 | 5000 383 760 | 0.000 % | c =============================================================================== c New solution: 4078 c Elapsed CPU time: 33.4959 s Remaining CPU time: 146.504 s c =============================================================================== c | 404 | 987 1430 360673 | 5000 404 760 | 0.000 % | c =============================================================================== c New solution: 4077 c Elapsed CPU time: 33.6729 s Remaining CPU time: 146.327 s c =============================================================================== c | 408 | 987 1431 361523 | 5000 408 760 | 0.000 % | c =============================================================================== c New solution: 4076 c Elapsed CPU time: 33.8359 s Remaining CPU time: 146.164 s c =============================================================================== c | 410 | 987 1432 362373 | 5000 410 760 | 0.000 % | c =============================================================================== c New solution: 4075 c Elapsed CPU time: 34.0158 s Remaining CPU time: 145.984 s c =============================================================================== c | 415 | 987 1433 363223 | 5000 415 753 | 0.000 % | c =============================================================================== c New solution: 4074 c Elapsed CPU time: 34.1888 s Remaining CPU time: 145.811 s c =============================================================================== c | 426 | 987 1434 364073 | 5000 426 753 | 0.000 % | c =============================================================================== c New solution: 4073 c Elapsed CPU time: 34.3708 s Remaining CPU time: 145.629 s c =============================================================================== c | 430 | 987 1435 364923 | 5000 430 753 | 0.000 % | c =============================================================================== c New solution: 4072 c Elapsed CPU time: 34.5497 s Remaining CPU time: 145.45 s c =============================================================================== c | 431 | 987 1436 365773 | 5000 431 753 | 0.000 % | c =============================================================================== c New solution: 4071 c Elapsed CPU time: 34.7187 s Remaining CPU time: 145.281 s c =============================================================================== c | 433 | 987 1437 366623 | 5000 433 753 | 0.000 % | c =============================================================================== c New solution: 4070 c Elapsed CPU time: 34.8977 s Remaining CPU time: 145.102 s c =============================================================================== c | 434 | 987 1438 367473 | 5000 434 753 | 0.000 % | c =============================================================================== c New solution: 4069 c Elapsed CPU time: 35.0657 s Remaining CPU time: 144.934 s c =============================================================================== c | 434 | 987 1439 368323 | 5000 434 753 | 0.000 % | c =============================================================================== c New solution: 4068 c Elapsed CPU time: 35.2336 s Remaining CPU time: 144.766 s c =============================================================================== c | 436 | 987 1440 369173 | 5000 436 753 | 0.000 % | c =============================================================================== c New solution: 4067 c Elapsed CPU time: 35.3966 s Remaining CPU time: 144.603 s c =============================================================================== c | 436 | 987 1441 370023 | 5000 436 753 | 0.000 % | c =============================================================================== c New solution: 4066 c Elapsed CPU time: 35.5686 s Remaining CPU time: 144.431 s c =============================================================================== c | 436 | 987 1442 370873 | 5000 436 753 | 0.000 % | c =============================================================================== c New solution: 4065 c Elapsed CPU time: 35.7336 s Remaining CPU time: 144.266 s c =============================================================================== c | 436 | 987 1443 371723 | 5000 436 753 | 0.000 % | c =============================================================================== c New solution: 4064 c Elapsed CPU time: 35.9105 s Remaining CPU time: 144.089 s c =============================================================================== c | 436 | 987 1444 372573 | 5000 436 753 | 0.000 % | c =============================================================================== c New solution: 4063 c Elapsed CPU time: 36.0835 s Remaining CPU time: 143.916 s c =============================================================================== c | 436 | 987 1445 373423 | 5000 436 753 | 0.000 % | c =============================================================================== c New solution: 4062 c Elapsed CPU time: 36.3215 s Remaining CPU time: 143.679 s c =============================================================================== c | 453 | 987 1446 374273 | 5000 453 753 | 0.000 % | c =============================================================================== c New solution: 4061 c Elapsed CPU time: 36.5084 s Remaining CPU time: 143.492 s c =============================================================================== c | 457 | 987 1447 375123 | 5000 457 753 | 0.000 % | c =============================================================================== c New solution: 4060 c Elapsed CPU time: 36.6764 s Remaining CPU time: 143.324 s c =============================================================================== c | 457 | 987 1448 375973 | 5000 457 753 | 0.000 % | c =============================================================================== c New solution: 4059 c Elapsed CPU time: 36.8394 s Remaining CPU time: 143.161 s c =============================================================================== c | 457 | 987 1449 376823 | 5000 457 753 | 0.000 % | c =============================================================================== c New solution: 4058 c Elapsed CPU time: 37.0134 s Remaining CPU time: 142.987 s c =============================================================================== c | 457 | 987 1450 377673 | 5000 457 753 | 0.000 % | c =============================================================================== c New solution: 4057 c Elapsed CPU time: 37.2823 s Remaining CPU time: 142.718 s c =============================================================================== c | 483 | 987 1451 378523 | 5000 483 753 | 0.000 % | c =============================================================================== c New solution: 4056 c Elapsed CPU time: 37.4513 s Remaining CPU time: 142.549 s c =============================================================================== c | 485 | 987 1452 379373 | 5000 485 753 | 0.000 % | c =============================================================================== c New solution: 4055 c Elapsed CPU time: 37.6323 s Remaining CPU time: 142.368 s c =============================================================================== c | 488 | 987 1453 380223 | 5000 488 753 | 0.000 % | c =============================================================================== c New solution: 4054 c Elapsed CPU time: 37.8143 s Remaining CPU time: 142.186 s c =============================================================================== c | 489 | 987 1454 381073 | 5000 489 753 | 0.000 % | c =============================================================================== c New solution: 4053 c Elapsed CPU time: 37.9842 s Remaining CPU time: 142.016 s c =============================================================================== c | 490 | 987 1455 381923 | 5000 490 753 | 0.000 % | c =============================================================================== c New solution: 4052 c Elapsed CPU time: 38.1542 s Remaining CPU time: 141.846 s c =============================================================================== c | 490 | 987 1456 382773 | 5000 490 753 | 0.000 % | c =============================================================================== c New solution: 4051 c Elapsed CPU time: 38.3262 s Remaining CPU time: 141.674 s c =============================================================================== c | 491 | 987 1457 383623 | 5000 491 753 | 0.000 % | c =============================================================================== c New solution: 4050 c Elapsed CPU time: 38.4991 s Remaining CPU time: 141.501 s c =============================================================================== c | 491 | 987 1458 384473 | 5000 491 753 | 0.000 % | c =============================================================================== c New solution: 4049 c Elapsed CPU time: 38.6751 s Remaining CPU time: 141.325 s c =============================================================================== c | 491 | 987 1459 385323 | 5000 491 753 | 0.000 % | c =============================================================================== c New solution: 4048 c Elapsed CPU time: 38.8531 s Remaining CPU time: 141.147 s c =============================================================================== c | 491 | 987 1460 386173 | 5000 491 753 | 0.000 % | c =============================================================================== c New solution: 4047 c Elapsed CPU time: 39.0561 s Remaining CPU time: 140.944 s c =============================================================================== c | 494 | 987 1461 387023 | 5000 494 753 | 0.000 % | c =============================================================================== c New solution: 4046 c Elapsed CPU time: 39.236 s Remaining CPU time: 140.764 s c =============================================================================== c | 495 | 987 1462 387873 | 5000 495 753 | 0.000 % | c =============================================================================== c New solution: 4045 c Elapsed CPU time: 39.414 s Remaining CPU time: 140.586 s c =============================================================================== c | 496 | 987 1463 388723 | 5000 496 753 | 0.000 % | c =============================================================================== c New solution: 4044 c Elapsed CPU time: 39.599 s Remaining CPU time: 140.401 s c =============================================================================== c | 499 | 987 1464 389573 | 5000 499 753 | 0.000 % | c =============================================================================== c New solution: 4043 c Elapsed CPU time: 39.77 s Remaining CPU time: 140.23 s c =============================================================================== c | 500 | 987 1465 390423 | 5000 500 753 | 0.000 % | c =============================================================================== c New solution: 4042 c Elapsed CPU time: 39.9519 s Remaining CPU time: 140.048 s c =============================================================================== c | 501 | 987 1466 391273 | 5000 501 753 | 0.000 % | c =============================================================================== c New solution: 4041 c Elapsed CPU time: 40.1429 s Remaining CPU time: 139.857 s c =============================================================================== c | 510 | 987 1467 392123 | 5000 510 753 | 0.000 % | c =============================================================================== c New solution: 4040 c Elapsed CPU time: 40.4049 s Remaining CPU time: 139.595 s c =============================================================================== c | 539 | 987 1468 392973 | 5000 539 752 | 0.000 % | c =============================================================================== c New solution: 4039 c Elapsed CPU time: 40.5958 s Remaining CPU time: 139.404 s c =============================================================================== c | 549 | 987 1469 393823 | 5000 549 752 | 0.000 % | c =============================================================================== c New solution: 4038 c Elapsed CPU time: 40.7848 s Remaining CPU time: 139.215 s c =============================================================================== c | 552 | 987 1470 394673 | 5000 552 752 | 0.000 % | c =============================================================================== c New solution: 4037 c Elapsed CPU time: 40.9718 s Remaining CPU time: 139.028 s c =============================================================================== c | 553 | 987 1471 395523 | 5000 553 751 | 0.000 % | c =============================================================================== c New solution: 4036 c Elapsed CPU time: 41.1527 s Remaining CPU time: 138.847 s c =============================================================================== c | 554 | 987 1472 396373 | 5000 554 751 | 0.000 % | c =============================================================================== c New solution: 4035 c Elapsed CPU time: 41.3427 s Remaining CPU time: 138.657 s c =============================================================================== c | 566 | 987 1473 397223 | 5000 566 751 | 0.000 % | c =============================================================================== c New solution: 4034 c Elapsed CPU time: 41.5407 s Remaining CPU time: 138.459 s c =============================================================================== c | 577 | 987 1474 398073 | 5000 577 751 | 0.000 % | c | 678 | 987 1474 398073 | 5500 678 750 | 1.300 % | c | 828 | 987 1474 398073 | 6050 828 750 | 1.300 % | c =============================================================================== c New solution: 4033 c Elapsed CPU time: 42.8535 s Remaining CPU time: 137.147 s c =============================================================================== c | 933 | 987 1475 398923 | 5000 933 750 | 1.300 % | c | 1033 | 987 1475 398923 | 5500 1033 750 | 1.300 % | c =============================================================================== c New solution: 4032 c Elapsed CPU time: 43.5134 s Remaining CPU time: 136.487 s c =============================================================================== c | 1053 | 987 1476 399773 | 5000 1053 750 | 1.300 % | c =============================================================================== c New solution: 4031 c Elapsed CPU time: 43.7294 s Remaining CPU time: 136.271 s c =============================================================================== c | 1073 | 987 1477 400623 | 5000 1073 750 | 1.300 % | c =============================================================================== c New solution: 4030 c Elapsed CPU time: 43.9613 s Remaining CPU time: 136.039 s c =============================================================================== c | 1090 | 987 1478 401473 | 5000 1090 750 | 1.300 % | c =============================================================================== c New solution: 4029 c Elapsed CPU time: 44.1483 s Remaining CPU time: 135.852 s c =============================================================================== c | 1094 | 987 1479 402323 | 5000 1094 750 | 1.300 % | c | 1194 | 987 1479 402323 | 5500 1194 750 | 1.300 % | c =============================================================================== c New solution: 4028 c Elapsed CPU time: 44.6172 s Remaining CPU time: 135.383 s c =============================================================================== c | 1195 | 987 1480 403173 | 5000 1195 750 | 1.300 % | c =============================================================================== c New solution: 4027 c Elapsed CPU time: 44.8202 s Remaining CPU time: 135.18 s c =============================================================================== c | 1204 | 987 1481 404023 | 5000 1204 750 | 1.300 % | c =============================================================================== c New solution: 4026 c Elapsed CPU time: 45.0382 s Remaining CPU time: 134.962 s c =============================================================================== c | 1231 | 987 1482 404873 | 5000 1231 750 | 1.300 % | c =============================================================================== c New solution: 4025 c Elapsed CPU time: 45.2701 s Remaining CPU time: 134.73 s c =============================================================================== c | 1250 | 987 1483 405723 | 5000 1250 750 | 1.300 % | c =============================================================================== c New solution: 4024 c Elapsed CPU time: 45.4691 s Remaining CPU time: 134.531 s c =============================================================================== c | 1273 | 987 1484 406573 | 5000 1273 750 | 1.300 % | c =============================================================================== c New solution: 4023 c Elapsed CPU time: 45.6791 s Remaining CPU time: 134.321 s c =============================================================================== c | 1282 | 987 1485 407423 | 5000 1282 750 | 1.300 % | c =============================================================================== c New solution: 4022 c Elapsed CPU time: 45.859 s Remaining CPU time: 134.141 s c =============================================================================== c | 1282 | 987 1486 408273 | 5000 1282 750 | 1.300 % | c =============================================================================== c New solution: 4021 c Elapsed CPU time: 46.047 s Remaining CPU time: 133.953 s c =============================================================================== c | 1284 | 987 1487 409123 | 5000 1284 750 | 1.300 % | c =============================================================================== c New solution: 4020 c Elapsed CPU time: 46.237 s Remaining CPU time: 133.763 s c =============================================================================== c | 1291 | 987 1488 409973 | 5000 1291 750 | 1.300 % | c =============================================================================== c New solution: 4019 c Elapsed CPU time: 46.4699 s Remaining CPU time: 133.53 s c =============================================================================== c | 1330 | 987 1489 410823 | 5000 1330 750 | 1.300 % | c =============================================================================== c New solution: 4018 c Elapsed CPU time: 46.7359 s Remaining CPU time: 133.264 s c =============================================================================== c | 1359 | 987 1490 411673 | 5000 1359 750 | 1.300 % | c =============================================================================== c New solution: 4017 c Elapsed CPU time: 46.9319 s Remaining CPU time: 133.068 s c =============================================================================== c | 1365 | 987 1491 412523 | 5000 1365 750 | 1.300 % | c =============================================================================== c New solution: 4016 c Elapsed CPU time: 47.1198 s Remaining CPU time: 132.88 s c =============================================================================== c | 1367 | 987 1492 413373 | 5000 1367 750 | 1.300 % | c =============================================================================== c New solution: 4015 c Elapsed CPU time: 47.5168 s Remaining CPU time: 132.483 s c =============================================================================== c | 1463 | 987 1493 414223 | 5000 1463 750 | 1.300 % | c =============================================================================== c New solution: 4014 c Elapsed CPU time: 47.7207 s Remaining CPU time: 132.279 s c =============================================================================== c | 1487 | 987 1494 415073 | 5000 1487 750 | 1.300 % | c | 1587 | 987 1494 415073 | 5500 1587 750 | 1.300 % | c =============================================================================== c New solution: 4013 c Elapsed CPU time: 48.3117 s Remaining CPU time: 131.688 s c =============================================================================== c | 1607 | 987 1495 415923 | 5000 1607 750 | 1.300 % | c =============================================================================== c New solution: 4012 c Elapsed CPU time: 48.6626 s Remaining CPU time: 131.337 s c =============================================================================== c | 1651 | 987 1496 416773 | 5000 1651 750 | 1.300 % | c =============================================================================== c New solution: 4011 c Elapsed CPU time: 48.8726 s Remaining CPU time: 131.127 s c =============================================================================== c | 1675 | 987 1497 417623 | 5000 1675 750 | 1.300 % | c =============================================================================== c New solution: 4010 c Elapsed CPU time: 49.0765 s Remaining CPU time: 130.923 s c =============================================================================== c | 1694 | 987 1498 418473 | 5000 1694 750 | 1.300 % | c =============================================================================== c New solution: 4009 c Elapsed CPU time: 49.4155 s Remaining CPU time: 130.585 s c =============================================================================== c | 1763 | 987 1499 419323 | 5000 1763 750 | 1.300 % | c =============================================================================== c New solution: 4008 c Elapsed CPU time: 49.7024 s Remaining CPU time: 130.298 s c =============================================================================== c | 1822 | 987 1500 420173 | 5000 1822 749 | 1.300 % | c =============================================================================== c New solution: 4007 c Elapsed CPU time: 50.1194 s Remaining CPU time: 129.881 s c =============================================================================== c | 1890 | 987 1501 421023 | 5000 1890 749 | 1.300 % | c =============================================================================== c New solution: 4006 c Elapsed CPU time: 50.3173 s Remaining CPU time: 129.683 s c =============================================================================== c | 1906 | 987 1502 421873 | 5000 1906 749 | 1.300 % | c =============================================================================== c New solution: 4005 c Elapsed CPU time: 50.5763 s Remaining CPU time: 129.424 s c =============================================================================== c | 1934 | 987 1503 422723 | 5000 1934 749 | 1.300 % | c | 2034 | 987 1503 422723 | 5500 2034 749 | 1.300 % | c =============================================================================== c New solution: 4004 c Elapsed CPU time: 51.2382 s Remaining CPU time: 128.762 s c =============================================================================== c | 2045 | 987 1504 423573 | 5000 2045 749 | 1.300 % | c =============================================================================== c New solution: 4003 c Elapsed CPU time: 51.5702 s Remaining CPU time: 128.43 s c =============================================================================== c | 2086 | 987 1505 424423 | 5000 2086 749 | 1.300 % | c =============================================================================== c New solution: 4002 c Elapsed CPU time: 51.7941 s Remaining CPU time: 128.206 s c =============================================================================== c | 2121 | 987 1506 425273 | 5000 2121 749 | 1.300 % | c =============================================================================== c New solution: 4001 c Elapsed CPU time: 52.0841 s Remaining CPU time: 127.916 s c =============================================================================== c | 2147 | 987 1507 426123 | 5000 2147 749 | 1.300 % | c | 2247 | 987 1507 426123 | 5500 2247 749 | 1.300 % | c =============================================================================== c New solution: 4000 c Elapsed CPU time: 52.945 s Remaining CPU time: 127.055 s c =============================================================================== c | 2380 | 987 1508 426973 | 5000 2380 749 | 1.300 % | c | 2480 | 987 1508 426973 | 5500 2480 748 | 1.300 % | c =============================================================================== c New solution: 3999 c Elapsed CPU time: 53.5039 s Remaining CPU time: 126.496 s c =============================================================================== c | 2499 | 987 1509 427823 | 5000 2499 748 | 1.300 % | c | 2599 | 987 1509 427823 | 5500 2599 748 | 1.300 % | c =============================================================================== c New solution: 3998 c Elapsed CPU time: 54.2967 s Remaining CPU time: 125.703 s c =============================================================================== c | 2652 | 987 1510 428673 | 5000 2652 748 | 1.300 % | c =============================================================================== c New solution: 3997 c Elapsed CPU time: 54.4917 s Remaining CPU time: 125.508 s c =============================================================================== c | 2662 | 987 1511 429523 | 5000 2662 748 | 1.300 % | c =============================================================================== c New solution: 3996 c Elapsed CPU time: 54.6947 s Remaining CPU time: 125.305 s c =============================================================================== c | 2665 | 987 1512 430373 | 5000 2665 748 | 1.300 % | c =============================================================================== c New solution: 3995 c Elapsed CPU time: 54.8837 s Remaining CPU time: 125.116 s c =============================================================================== c | 2666 | 987 1513 431223 | 5000 2666 748 | 1.300 % | c =============================================================================== c New solution: 3994 c Elapsed CPU time: 55.0866 s Remaining CPU time: 124.913 s c =============================================================================== c | 2670 | 987 1514 432073 | 5000 2670 748 | 1.300 % | c =============================================================================== c New solution: 3993 c Elapsed CPU time: 55.2816 s Remaining CPU time: 124.718 s c =============================================================================== c | 2675 | 987 1515 432923 | 5000 2675 748 | 1.300 % | c =============================================================================== c New solution: 3992 c Elapsed CPU time: 55.4816 s Remaining CPU time: 124.518 s c =============================================================================== c | 2678 | 987 1516 433773 | 5000 2678 748 | 1.300 % | c =============================================================================== c New solution: 3991 c Elapsed CPU time: 55.6745 s Remaining CPU time: 124.325 s c =============================================================================== c | 2678 | 987 1517 434623 | 5000 2678 748 | 1.300 % | c =============================================================================== c New solution: 3990 c Elapsed CPU time: 55.8625 s Remaining CPU time: 124.137 s c =============================================================================== c | 2678 | 987 1518 435473 | 5000 2678 748 | 1.300 % | c =============================================================================== c New solution: 3989 c Elapsed CPU time: 56.0515 s Remaining CPU time: 123.949 s c =============================================================================== c | 2678 | 987 1519 436323 | 5000 2678 748 | 1.300 % | c =============================================================================== c New solution: 3988 c Elapsed CPU time: 56.2564 s Remaining CPU time: 123.744 s c =============================================================================== c | 2679 | 987 1520 437173 | 5000 2679 748 | 1.300 % | c =============================================================================== c New solution: 3987 c Elapsed CPU time: 56.4474 s Remaining CPU time: 123.553 s c =============================================================================== c | 2680 | 987 1521 438023 | 5000 2680 748 | 1.300 % | c =============================================================================== c New solution: 3986 c Elapsed CPU time: 56.6534 s Remaining CPU time: 123.347 s c =============================================================================== c | 2683 | 987 1522 438873 | 5000 2683 748 | 1.300 % | c =============================================================================== c New solution: 3985 c Elapsed CPU time: 56.8454 s Remaining CPU time: 123.155 s c =============================================================================== c | 2683 | 987 1523 439723 | 5000 2683 748 | 1.300 % | c | 2783 | 987 1523 439723 | 5500 2783 748 | 1.300 % | c =============================================================================== c New solution: 3984 c Elapsed CPU time: 57.7662 s Remaining CPU time: 122.234 s c =============================================================================== c | 2916 | 987 1524 440573 | 5000 2916 747 | 1.300 % | c =============================================================================== c New solution: 3983 c Elapsed CPU time: 58.0402 s Remaining CPU time: 121.96 s c =============================================================================== c | 2949 | 987 1525 441423 | 5000 2949 747 | 1.300 % | c =============================================================================== c New solution: 3982 c Elapsed CPU time: 58.3001 s Remaining CPU time: 121.7 s c =============================================================================== c | 2978 | 987 1526 442273 | 5000 2978 747 | 1.300 % | c =============================================================================== c New solution: 3981 c Elapsed CPU time: 58.5091 s Remaining CPU time: 121.491 s c =============================================================================== c | 2985 | 987 1527 443123 | 5000 2985 747 | 1.300 % | c =============================================================================== c New solution: 3980 c Elapsed CPU time: 58.7291 s Remaining CPU time: 121.271 s c =============================================================================== c | 2996 | 987 1528 443973 | 5000 2996 747 | 1.300 % | c =============================================================================== c New solution: 3979 c Elapsed CPU time: 59.091 s Remaining CPU time: 120.909 s c =============================================================================== c | 3057 | 987 1529 444823 | 5000 3057 747 | 1.300 % | c =============================================================================== c New solution: 3978 c Elapsed CPU time: 59.291 s Remaining CPU time: 120.709 s c =============================================================================== c | 3059 | 987 1530 445673 | 5000 3059 747 | 1.300 % | c =============================================================================== c New solution: 3977 c Elapsed CPU time: 59.49 s Remaining CPU time: 120.51 s c =============================================================================== c | 3059 | 987 1531 446523 | 5000 3059 747 | 1.300 % | c | 3159 | 987 1531 446523 | 5500 3159 746 | 1.300 % | c =============================================================================== c New solution: 3976 c Elapsed CPU time: 60.2308 s Remaining CPU time: 119.769 s c =============================================================================== c | 3192 | 987 1532 447373 | 5000 3192 746 | 1.300 % | c | 3292 | 987 1532 447373 | 5500 3292 746 | 1.300 % | c | 3444 | 987 1532 447373 | 6050 3444 746 | 1.300 % | c =============================================================================== c New solution: 3975 c Elapsed CPU time: 61.4797 s Remaining CPU time: 118.52 s c =============================================================================== c | 3444 | 987 1533 448223 | 5000 3444 746 | 1.300 % | c | 3545 | 987 1533 448223 | 5500 3545 746 | 1.300 % | c =============================================================================== c New solution: 3974 c Elapsed CPU time: 62.3235 s Remaining CPU time: 117.676 s c =============================================================================== c | 3588 | 987 1534 449073 | 5000 3588 746 | 1.300 % | c | 3689 | 987 1534 449073 | 5500 3689 745 | 1.300 % | c =============================================================================== c New solution: 3973 c Elapsed CPU time: 63.0654 s Remaining CPU time: 116.935 s c =============================================================================== c | 3729 | 987 1535 449923 | 5000 3729 745 | 1.300 % | c =============================================================================== c New solution: 3972 c Elapsed CPU time: 63.4324 s Remaining CPU time: 116.568 s c =============================================================================== c | 3811 | 987 1536 450773 | 5000 3811 745 | 1.300 % | c =============================================================================== c New solution: 3971 c Elapsed CPU time: 63.7313 s Remaining CPU time: 116.269 s c =============================================================================== c | 3836 | 987 1537 451623 | 5000 3836 745 | 1.300 % | c | 3937 | 987 1537 451623 | 5500 3937 745 | 1.300 % | c =============================================================================== c New solution: 3970 c Elapsed CPU time: 64.6002 s Remaining CPU time: 115.4 s c =============================================================================== c | 4041 | 987 1538 452473 | 5000 4041 744 | 1.300 % | c =============================================================================== c New solution: 3969 c Elapsed CPU time: 64.9031 s Remaining CPU time: 115.097 s c =============================================================================== c | 4095 | 987 1539 453323 | 5000 4095 744 | 1.300 % | c =============================================================================== c New solution: 3968 c Elapsed CPU time: 65.1371 s Remaining CPU time: 114.863 s c =============================================================================== c | 4111 | 987 1540 454173 | 5000 4111 744 | 1.300 % | c =============================================================================== c New solution: 3967 c Elapsed CPU time: 65.4351 s Remaining CPU time: 114.565 s c =============================================================================== c | 4162 | 987 1541 455023 | 5000 4162 744 | 1.300 % | c | 4264 | 987 1541 455023 | 5500 4264 744 | 1.300 % | c =============================================================================== c New solution: 3966 c Elapsed CPU time: 66.078 s Remaining CPU time: 113.922 s c =============================================================================== c | 4299 | 987 1542 455873 | 5000 4299 744 | 1.300 % | c | 4399 | 987 1542 455873 | 5500 4399 744 | 1.300 % | c =============================================================================== c New solution: 3965 c Elapsed CPU time: 66.7898 s Remaining CPU time: 113.21 s c =============================================================================== c | 4446 | 987 1543 456723 | 5000 4446 744 | 1.300 % | c =============================================================================== c New solution: 3964 c Elapsed CPU time: 67.0518 s Remaining CPU time: 112.948 s c =============================================================================== c | 4458 | 987 1544 457573 | 5000 4458 744 | 1.300 % | c | 4558 | 987 1544 457573 | 5500 4558 744 | 1.300 % | c =============================================================================== c New solution: 3963 c Elapsed CPU time: 68.1306 s Remaining CPU time: 111.869 s c =============================================================================== c | 4645 | 987 1545 458423 | 5000 4645 744 | 1.300 % | c | 4745 | 987 1545 458423 | 5500 4745 743 | 1.300 % | c =============================================================================== c New solution: 3962 c Elapsed CPU time: 68.9735 s Remaining CPU time: 111.026 s c =============================================================================== c | 4830 | 987 1546 459273 | 5000 4830 743 | 1.300 % | c | 4931 | 987 1546 459273 | 5500 4931 743 | 1.300 % | c | 5081 | 987 1546 459273 | 6050 5081 743 | 1.300 % | c =============================================================================== c New solution: 3961 c Elapsed CPU time: 70.0823 s Remaining CPU time: 109.918 s c =============================================================================== c | 5106 | 987 1547 460123 | 5000 5106 743 | 1.300 % | c | 5206 | 987 1547 460123 | 5500 2653 734 | 1.300 % | c | 5356 | 987 1547 460123 | 6050 2803 734 | 1.300 % | c =============================================================================== c New solution: 3960 c Elapsed CPU time: 71.8921 s Remaining CPU time: 108.108 s c =============================================================================== c | 5520 | 987 1548 460973 | 5000 2967 734 | 1.300 % | c | 5620 | 987 1548 460973 | 5500 3067 734 | 1.300 % | c =============================================================================== c New solution: 3959 c Elapsed CPU time: 72.596 s Remaining CPU time: 107.404 s c =============================================================================== c | 5639 | 987 1549 461823 | 5000 3086 734 | 1.300 % | c =============================================================================== c New solution: 3958 c Elapsed CPU time: 73.0899 s Remaining CPU time: 106.91 s c =============================================================================== c | 5717 | 987 1550 462673 | 5000 3164 734 | 1.300 % | c | 5817 | 987 1550 462673 | 5500 3264 734 | 1.300 % | c =============================================================================== c New solution: 3957 c Elapsed CPU time: 73.8908 s Remaining CPU time: 106.109 s c =============================================================================== c | 5924 | 987 1551 463523 | 5000 3371 734 | 1.300 % | c | 6024 | 987 1551 463523 | 5500 3471 734 | 1.300 % | c =============================================================================== c New solution: 3956 c Elapsed CPU time: 74.8016 s Remaining CPU time: 105.198 s c =============================================================================== c | 6119 | 987 1552 464373 | 5000 3566 734 | 1.300 % | c =============================================================================== c New solution: 3955 c Elapsed CPU time: 75.1406 s Remaining CPU time: 104.859 s c =============================================================================== c | 6164 | 987 1553 465223 | 5000 3611 734 | 1.300 % | c | 6264 | 987 1553 465223 | 5500 3711 734 | 1.300 % | c | 6414 | 987 1553 465223 | 6050 3861 734 | 1.300 % | c =============================================================================== c New solution: 3954 c Elapsed CPU time: 76.8003 s Remaining CPU time: 103.2 s c =============================================================================== c | 6551 | 987 1554 466073 | 5000 3998 734 | 1.300 % | c =============================================================================== c New solution: 3953 c Elapsed CPU time: 77.1233 s Remaining CPU time: 102.877 s c =============================================================================== c | 6583 | 987 1555 466923 | 5000 4030 734 | 1.300 % | c =============================================================================== c New solution: 3952 c Elapsed CPU time: 77.3632 s Remaining CPU time: 102.637 s c =============================================================================== c | 6604 | 987 1556 467773 | 5000 4051 734 | 1.300 % | c =============================================================================== c New solution: 3951 c Elapsed CPU time: 77.5812 s Remaining CPU time: 102.419 s c =============================================================================== c | 6635 | 987 1557 468623 | 5000 4082 734 | 1.300 % | c | 6737 | 987 1557 468623 | 5500 4184 734 | 1.300 % | c =============================================================================== c New solution: 3950 c Elapsed CPU time: 78.2371 s Remaining CPU time: 101.763 s c =============================================================================== c | 6765 | 987 1558 469473 | 5000 4212 734 | 1.300 % | c | 6866 | 987 1558 469473 | 5500 4313 734 | 1.300 % | c =============================================================================== c New solution: 3949 c Elapsed CPU time: 79.071 s Remaining CPU time: 100.929 s c =============================================================================== c | 6912 | 987 1559 470323 | 5000 4359 734 | 1.300 % | c =============================================================================== c New solution: 3948 c Elapsed CPU time: 79.3309 s Remaining CPU time: 100.669 s c =============================================================================== c | 6931 | 987 1560 471173 | 5000 4378 734 | 1.300 % | c =============================================================================== c New solution: 3947 c Elapsed CPU time: 79.5569 s Remaining CPU time: 100.443 s c =============================================================================== c | 6932 | 987 1561 472023 | 5000 4379 734 | 1.300 % | c =============================================================================== c New solution: 3946 c Elapsed CPU time: 79.8199 s Remaining CPU time: 100.18 s c =============================================================================== c | 6936 | 987 1562 472873 | 5000 4383 734 | 1.300 % | c =============================================================================== c New solution: 3945 c Elapsed CPU time: 80.1098 s Remaining CPU time: 99.8902 s c =============================================================================== c | 6953 | 987 1563 473723 | 5000 4400 734 | 1.300 % | c =============================================================================== c New solution: 3944 c Elapsed CPU time: 80.3398 s Remaining CPU time: 99.6602 s c =============================================================================== c | 6956 | 987 1564 474573 | 5000 4403 734 | 1.300 % | c =============================================================================== c New solution: 3943 c Elapsed CPU time: 80.5508 s Remaining CPU time: 99.4492 s c =============================================================================== c | 6957 | 987 1565 475423 | 5000 4404 734 | 1.300 % | c =============================================================================== c New solution: 3942 c Elapsed CPU time: 80.7747 s Remaining CPU time: 99.2253 s c =============================================================================== c | 6965 | 987 1566 476273 | 5000 4412 734 | 1.300 % | c =============================================================================== c New solution: 3941 c Elapsed CPU time: 81.0287 s Remaining CPU time: 98.9713 s c =============================================================================== c | 6977 | 987 1567 477123 | 5000 4424 734 | 1.300 % | c | 7078 | 987 1567 477123 | 5500 4525 734 | 1.300 % | c =============================================================================== c New solution: 3940 c Elapsed CPU time: 81.8955 s Remaining CPU time: 98.1045 s c =============================================================================== c | 7154 | 987 1568 477973 | 5000 4601 734 | 1.300 % | c =============================================================================== c New solution: 3939 c Elapsed CPU time: 82.1135 s Remaining CPU time: 97.8865 s c =============================================================================== c | 7156 | 987 1569 478823 | 5000 4603 734 | 1.300 % | c =============================================================================== c New solution: 3938 c Elapsed CPU time: 82.3545 s Remaining CPU time: 97.6455 s c =============================================================================== c | 7169 | 987 1570 479673 | 5000 4616 734 | 1.300 % | c | 7269 | 987 1570 479673 | 5500 4716 734 | 1.300 % | c =============================================================================== c New solution: 3937 c Elapsed CPU time: 83.2553 s Remaining CPU time: 96.7447 s c =============================================================================== c | 7292 | 987 1571 480523 | 5000 4739 734 | 1.300 % | c =============================================================================== c New solution: 3936 c Elapsed CPU time: 83.5273 s Remaining CPU time: 96.4727 s c =============================================================================== c | 7326 | 987 1572 481373 | 5000 4773 734 | 1.300 % | c =============================================================================== c New solution: 3935 c Elapsed CPU time: 83.8043 s Remaining CPU time: 96.1957 s c =============================================================================== c | 7353 | 987 1573 482223 | 5000 4800 734 | 1.300 % | c =============================================================================== c New solution: 3934 c Elapsed CPU time: 84.0712 s Remaining CPU time: 95.9288 s c =============================================================================== c | 7380 | 987 1574 483073 | 5000 4827 733 | 1.300 % | c =============================================================================== c New solution: 3933 c Elapsed CPU time: 84.3922 s Remaining CPU time: 95.6078 s c =============================================================================== c | 7425 | 987 1575 483923 | 5000 4872 733 | 1.300 % | c =============================================================================== c New solution: 3932 c Elapsed CPU time: 84.6451 s Remaining CPU time: 95.3549 s c =============================================================================== c | 7432 | 987 1576 484773 | 5000 4879 733 | 1.300 % | c =============================================================================== c New solution: 3931 c Elapsed CPU time: 84.8851 s Remaining CPU time: 95.1149 s c =============================================================================== c | 7442 | 987 1577 485623 | 5000 4889 733 | 1.300 % | c =============================================================================== c New solution: 3930 c Elapsed CPU time: 85.242 s Remaining CPU time: 94.758 s c =============================================================================== c | 7480 | 987 1578 486473 | 5000 4927 733 | 1.300 % | c | 7580 | 987 1578 486473 | 5500 5027 733 | 1.300 % | c =============================================================================== c New solution: 3929 c Elapsed CPU time: 85.9829 s Remaining CPU time: 94.0171 s c =============================================================================== c | 7582 | 987 1579 487323 | 5000 5029 733 | 1.300 % | c =============================================================================== c New solution: 3928 c Elapsed CPU time: 86.2859 s Remaining CPU time: 93.7141 s c =============================================================================== c | 7603 | 987 1580 488173 | 5000 2536 728 | 1.300 % | c =============================================================================== c New solution: 3927 c Elapsed CPU time: 86.5938 s Remaining CPU time: 93.4062 s c =============================================================================== c | 7617 | 987 1581 489023 | 5000 2550 728 | 1.300 % | c =============================================================================== c New solution: 3926 c Elapsed CPU time: 86.8988 s Remaining CPU time: 93.1012 s c =============================================================================== c | 7641 | 987 1582 489873 | 5000 2574 728 | 1.300 % | c | 7743 | 987 1582 489873 | 5500 2676 728 | 1.300 % | c | 7894 | 987 1582 489873 | 6050 2827 728 | 1.300 % | c =============================================================================== c New solution: 3925 c Elapsed CPU time: 88.3596 s Remaining CPU time: 91.6404 s c =============================================================================== c | 7939 | 987 1583 490723 | 5000 2872 728 | 1.300 % | c =============================================================================== c New solution: 3924 c Elapsed CPU time: 88.7585 s Remaining CPU time: 91.2415 s c =============================================================================== c | 7987 | 987 1584 491573 | 5000 2920 728 | 1.300 % | c =============================================================================== c New solution: 3923 c Elapsed CPU time: 89.0205 s Remaining CPU time: 90.9795 s c =============================================================================== c | 8015 | 987 1585 492423 | 5000 2948 728 | 1.300 % | c =============================================================================== c New solution: 3922 c Elapsed CPU time: 89.2574 s Remaining CPU time: 90.7426 s c =============================================================================== c | 8024 | 987 1586 493273 | 5000 2957 728 | 1.300 % | c =============================================================================== c New solution: 3921 c Elapsed CPU time: 89.7474 s Remaining CPU time: 90.2526 s c =============================================================================== c | 8107 | 987 1587 494123 | 5000 3040 728 | 1.300 % | c =============================================================================== c New solution: 3920 c Elapsed CPU time: 90.0473 s Remaining CPU time: 89.9527 s c =============================================================================== c | 8152 | 987 1588 494973 | 5000 3085 727 | 1.300 % | c =============================================================================== c New solution: 3919 c Elapsed CPU time: 90.3513 s Remaining CPU time: 89.6487 s c =============================================================================== c | 8179 | 987 1589 495823 | 5000 3112 727 | 1.300 % | c =============================================================================== c New solution: 3918 c Elapsed CPU time: 90.5932 s Remaining CPU time: 89.4068 s c =============================================================================== c | 8196 | 987 1590 496673 | 5000 3129 727 | 1.300 % | c =============================================================================== c New solution: 3917 c Elapsed CPU time: 90.8452 s Remaining CPU time: 89.1548 s c =============================================================================== c | 8207 | 987 1591 497523 | 5000 3140 727 | 1.300 % | c =============================================================================== c New solution: 3916 c Elapsed CPU time: 91.4851 s Remaining CPU time: 88.5149 s c =============================================================================== c | 8304 | 987 1592 498373 | 5000 3237 727 | 1.300 % | c =============================================================================== c New solution: 3915 c Elapsed CPU time: 91.898 s Remaining CPU time: 88.102 s c =============================================================================== c | 8366 | 987 1593 499223 | 5000 3299 727 | 1.300 % | c =============================================================================== c New solution: 3914 c Elapsed CPU time: 92.21 s Remaining CPU time: 87.79 s c =============================================================================== c | 8396 | 987 1594 500073 | 5000 3329 727 | 1.300 % | c | 8497 | 987 1594 500073 | 5500 3430 726 | 1.300 % | c | 8648 | 987 1594 500073 | 6050 3581 726 | 1.300 % | c | 8874 | 987 1594 500073 | 6655 3807 726 | 1.300 % | c =============================================================================== c New solution: 3913 c Elapsed CPU time: 94.5236 s Remaining CPU time: 85.4764 s c =============================================================================== c | 8911 | 987 1595 500923 | 5000 3844 726 | 1.300 % | c | 9012 | 987 1595 500923 | 5500 3945 726 | 1.300 % | c | 9162 | 987 1595 500923 | 6050 4095 726 | 1.300 % | c =============================================================================== c New solution: 3912 c Elapsed CPU time: 95.8604 s Remaining CPU time: 84.1396 s c =============================================================================== c | 9273 | 987 1596 501773 | 5000 4206 726 | 1.300 % | c | 9373 | 987 1596 501773 | 5500 4306 726 | 1.300 % | c | 9524 | 987 1596 501773 | 6050 4457 726 | 1.300 % | c | 9749 | 987 1596 501773 | 6655 4682 726 | 1.300 % | c =============================================================================== c New solution: 3911 c Elapsed CPU time: 97.9011 s Remaining CPU time: 82.0989 s c =============================================================================== c | 9855 | 987 1597 502623 | 5000 4788 726 | 1.300 % | c =============================================================================== c New solution: 3910 c Elapsed CPU time: 98.3121 s Remaining CPU time: 81.6879 s c =============================================================================== c | 9942 | 987 1598 503473 | 5000 4875 726 | 1.300 % | c | 10042 | 987 1598 503473 | 5500 4975 726 | 1.300 % | c | 10193 | 987 1598 503473 | 6050 5126 725 | 1.300 % | c =============================================================================== c New solution: 3909 c Elapsed CPU time: 99.6618 s Remaining CPU time: 80.3382 s c =============================================================================== c | 10247 | 987 1599 504323 | 5000 5180 725 | 1.300 % | c =============================================================================== c New solution: 3908 c Elapsed CPU time: 100.128 s Remaining CPU time: 79.8722 s c =============================================================================== c | 10293 | 987 1600 505173 | 5000 2636 719 | 1.300 % | c | 10393 | 987 1600 505173 | 5500 2736 719 | 1.300 % | c | 10543 | 987 1600 505173 | 6050 2886 719 | 1.300 % | c =============================================================================== c New solution: 3907 c Elapsed CPU time: 101.616 s Remaining CPU time: 78.3844 s c =============================================================================== c | 10645 | 987 1601 506023 | 5000 2988 719 | 1.300 % | c =============================================================================== c New solution: 3906 c Elapsed CPU time: 102.081 s Remaining CPU time: 77.9185 s c =============================================================================== c | 10725 | 987 1602 506873 | 5000 3068 719 | 1.300 % | c | 10825 | 987 1602 506873 | 5500 3168 719 | 1.300 % | c | 10977 | 987 1602 506873 | 6050 3320 719 | 1.300 % | c =============================================================================== c New solution: 3905 c Elapsed CPU time: 104.364 s Remaining CPU time: 75.6359 s c =============================================================================== c | 11128 | 987 1603 507723 | 5000 3471 719 | 1.300 % | c =============================================================================== c New solution: 3904 c Elapsed CPU time: 104.813 s Remaining CPU time: 75.1869 s c =============================================================================== c | 11180 | 987 1604 508573 | 5000 3523 719 | 1.300 % | c =============================================================================== c New solution: 3903 c Elapsed CPU time: 105.1 s Remaining CPU time: 74.9 s c =============================================================================== c | 11190 | 987 1605 509423 | 5000 3533 719 | 1.300 % | c =============================================================================== c New solution: 3902 c Elapsed CPU time: 105.483 s Remaining CPU time: 74.517 s c =============================================================================== c | 11268 | 987 1606 510273 | 5000 3611 719 | 1.300 % | c | 11368 | 987 1606 510273 | 5500 3711 719 | 1.300 % | c | 11518 | 987 1606 510273 | 6050 3861 719 | 1.300 % | c | 11743 | 987 1606 510273 | 6655 4086 719 | 1.300 % | c =============================================================================== c New solution: 3901 c Elapsed CPU time: 107.479 s Remaining CPU time: 72.5213 s c =============================================================================== c | 11768 | 987 1607 511123 | 5000 4111 719 | 1.300 % | c =============================================================================== c New solution: 3900 c Elapsed CPU time: 107.72 s Remaining CPU time: 72.2804 s c =============================================================================== c | 11772 | 987 1608 511973 | 5000 4115 719 | 1.300 % | c | 11872 | 987 1608 511973 | 5500 4215 719 | 1.300 % | c =============================================================================== c New solution: 3899 c Elapsed CPU time: 108.54 s Remaining CPU time: 71.4595 s c =============================================================================== c | 11916 | 987 1609 512823 | 5000 4259 719 | 1.300 % | c | 12017 | 987 1609 512823 | 5500 4360 720 | 1.300 % | c | 12167 | 987 1609 512823 | 6050 4510 720 | 1.300 % | c =============================================================================== c New solution: 3898 c Elapsed CPU time: 110.093 s Remaining CPU time: 69.9067 s c =============================================================================== c | 12308 | 987 1610 513673 | 5000 4651 720 | 1.300 % | c | 12409 | 987 1610 513673 | 5500 4752 720 | 1.300 % | c | 12559 | 987 1610 513673 | 6050 4902 720 | 1.300 % | c =============================================================================== c New solution: 3897 c Elapsed CPU time: 111.631 s Remaining CPU time: 68.369 s c =============================================================================== c | 12599 | 987 1611 514523 | 5000 4942 720 | 1.300 % | c =============================================================================== c New solution: 3896 c Elapsed CPU time: 112.06 s Remaining CPU time: 67.94 s c =============================================================================== c | 12662 | 987 1612 515373 | 5000 5005 720 | 1.300 % | c =============================================================================== c New solution: 3895 c Elapsed CPU time: 112.335 s Remaining CPU time: 67.6651 s c =============================================================================== c | 12687 | 987 1613 516223 | 5000 5030 720 | 1.300 % | c | 12788 | 987 1613 516223 | 5500 2616 716 | 1.300 % | c =============================================================================== c New solution: 3894 c Elapsed CPU time: 113.129 s Remaining CPU time: 66.8712 s c =============================================================================== c | 12834 | 987 1614 517073 | 5000 2662 716 | 1.300 % | c | 12934 | 987 1614 517073 | 5500 2762 716 | 1.300 % | c =============================================================================== c New solution: 3893 c Elapsed CPU time: 113.867 s Remaining CPU time: 66.1333 s c =============================================================================== c | 12959 | 987 1615 517923 | 5000 2787 716 | 1.300 % | c =============================================================================== c New solution: 3892 c Elapsed CPU time: 114.153 s Remaining CPU time: 65.8474 s c =============================================================================== c | 12976 | 987 1616 518773 | 5000 2804 716 | 1.300 % | c | 13076 | 987 1616 518773 | 5500 2904 716 | 1.300 % | c =============================================================================== c New solution: 3891 c Elapsed CPU time: 114.781 s Remaining CPU time: 65.2194 s c =============================================================================== c | 13092 | 987 1617 519623 | 5000 2920 716 | 1.300 % | c =============================================================================== c New solution: 3890 c Elapsed CPU time: 115.114 s Remaining CPU time: 64.8855 s c =============================================================================== c | 13125 | 987 1618 520473 | 5000 2953 716 | 1.300 % | c | 13225 | 987 1618 520473 | 5500 3053 716 | 1.300 % | c =============================================================================== c New solution: 3889 c Elapsed CPU time: 116.063 s Remaining CPU time: 63.9366 s c =============================================================================== c | 13330 | 987 1619 521323 | 5000 3158 716 | 1.300 % | c =============================================================================== c New solution: 3888 c Elapsed CPU time: 116.331 s Remaining CPU time: 63.6687 s c =============================================================================== c | 13342 | 987 1620 522173 | 5000 3170 716 | 1.300 % | c =============================================================================== c New solution: 3887 c Elapsed CPU time: 116.819 s Remaining CPU time: 63.1808 s c =============================================================================== c | 13419 | 987 1621 523023 | 5000 3247 716 | 1.300 % | c =============================================================================== c New solution: 3886 c Elapsed CPU time: 117.207 s Remaining CPU time: 62.7928 s c =============================================================================== c | 13451 | 987 1622 523873 | 5000 3279 716 | 1.300 % | c | 13551 | 987 1622 523873 | 5500 3379 716 | 1.300 % | c =============================================================================== c New solution: 3885 c Elapsed CPU time: 118.279 s Remaining CPU time: 61.721 s c =============================================================================== c | 13611 | 987 1623 524723 | 5000 3439 716 | 1.300 % | c =============================================================================== c New solution: 3884 c Elapsed CPU time: 118.593 s Remaining CPU time: 61.407 s c =============================================================================== c | 13635 | 987 1624 525573 | 5000 3463 716 | 1.300 % | c | 13735 | 987 1624 525573 | 5500 3563 716 | 1.300 % | c | 13885 | 987 1624 525573 | 6050 3713 716 | 1.300 % | c | 14110 | 987 1624 525573 | 6655 3938 717 | 1.300 % | c =============================================================================== c New solution: 3883 c Elapsed CPU time: 121.523 s Remaining CPU time: 58.4775 s c =============================================================================== c | 14333 | 987 1625 526423 | 5000 4161 717 | 1.300 % | c =============================================================================== c New solution: 3882 c Elapsed CPU time: 121.988 s Remaining CPU time: 58.0115 s c =============================================================================== c | 14407 | 987 1626 527273 | 5000 4235 717 | 1.300 % | c =============================================================================== c New solution: 3881 c Elapsed CPU time: 122.311 s Remaining CPU time: 57.6886 s c =============================================================================== c | 14440 | 987 1627 528123 | 5000 4268 717 | 1.300 % | c =============================================================================== c New solution: 3880 c Elapsed CPU time: 122.76 s Remaining CPU time: 57.2397 s c =============================================================================== c | 14522 | 987 1628 528973 | 5000 4350 717 | 1.300 % | c | 14623 | 987 1628 528973 | 5500 4451 717 | 1.300 % | c =============================================================================== c New solution: 3879 c Elapsed CPU time: 123.831 s Remaining CPU time: 56.1688 s c =============================================================================== c | 14719 | 987 1629 529823 | 5000 4547 717 | 1.300 % | c | 14822 | 987 1629 529823 | 5500 4650 717 | 1.300 % | c | 14972 | 987 1629 529823 | 6050 4800 716 | 1.300 % | c | 15198 | 987 1629 529823 | 6655 5026 716 | 1.300 % | c | 15535 | 987 1629 529823 | 7320 5363 716 | 1.300 % | c =============================================================================== c New solution: 3878 c Elapsed CPU time: 127.778 s Remaining CPU time: 52.2224 s c =============================================================================== c | 15915 | 987 1630 530673 | 5000 5743 716 | 1.300 % | c | 16015 | 987 1630 530673 | 5500 2972 713 | 1.300 % | c =============================================================================== c New solution: 3877 c Elapsed CPU time: 128.62 s Remaining CPU time: 51.3796 s c =============================================================================== c | 16094 | 987 1631 531523 | 5000 3051 713 | 1.300 % | c | 16194 | 987 1631 531523 | 5500 3151 713 | 1.300 % | c =============================================================================== c New solution: 3876 c Elapsed CPU time: 129.405 s Remaining CPU time: 50.5947 s c =============================================================================== c | 16257 | 987 1632 532373 | 5000 3214 713 | 1.300 % | c =============================================================================== c New solution: 3875 c Elapsed CPU time: 129.715 s Remaining CPU time: 50.2847 s c =============================================================================== c | 16277 | 987 1633 533223 | 5000 3234 713 | 1.300 % | c =============================================================================== c New solution: 3874 c Elapsed CPU time: 130.111 s Remaining CPU time: 49.8888 s c =============================================================================== c | 16325 | 987 1634 534073 | 5000 3282 713 | 1.300 % | c =============================================================================== c New solution: 3873 c Elapsed CPU time: 130.383 s Remaining CPU time: 49.6168 s c =============================================================================== c | 16340 | 987 1635 534923 | 5000 3297 713 | 1.300 % | c =============================================================================== c New solution: 3872 c Elapsed CPU time: 130.821 s Remaining CPU time: 49.1789 s c =============================================================================== c | 16389 | 987 1636 535773 | 5000 3346 713 | 1.300 % | c =============================================================================== c New solution: 3871 c Elapsed CPU time: 131.18 s Remaining CPU time: 48.8199 s c =============================================================================== c | 16407 | 987 1637 536623 | 5000 3364 713 | 1.300 % | c =============================================================================== c New solution: 3870 c Elapsed CPU time: 131.534 s Remaining CPU time: 48.466 s c =============================================================================== c | 16441 | 987 1638 537473 | 5000 3398 713 | 1.300 % | c | 16541 | 987 1638 537473 | 5500 3498 713 | 1.300 % | c =============================================================================== c New solution: 3869 c Elapsed CPU time: 132.331 s Remaining CPU time: 47.6691 s c =============================================================================== c | 16630 | 987 1639 538323 | 5000 3587 713 | 1.300 % | c =============================================================================== c New solution: 3868 c Elapsed CPU time: 132.737 s Remaining CPU time: 47.2632 s c =============================================================================== c | 16705 | 987 1640 539173 | 5000 3662 713 | 1.300 % | c | 16805 | 987 1640 539173 | 5500 3762 713 | 1.300 % | c | 16955 | 987 1640 539173 | 6050 3912 713 | 1.300 % | c =============================================================================== c New solution: 3867 c Elapsed CPU time: 134.316 s Remaining CPU time: 45.6844 s c =============================================================================== c | 17048 | 987 1641 540023 | 5000 4005 713 | 1.300 % | c =============================================================================== c New solution: 3866 c Elapsed CPU time: 134.796 s Remaining CPU time: 45.2045 s c =============================================================================== c | 17131 | 987 1642 540873 | 5000 4088 713 | 1.300 % | c | 17231 | 987 1642 540873 | 5500 4188 713 | 1.300 % | c =============================================================================== c New solution: 3865 c Elapsed CPU time: 135.438 s Remaining CPU time: 44.5616 s c =============================================================================== c | 17247 | 987 1643 541723 | 5000 4204 713 | 1.300 % | c =============================================================================== c New solution: 3864 c Elapsed CPU time: 135.854 s Remaining CPU time: 44.1457 s c =============================================================================== c | 17337 | 987 1644 542573 | 5000 4294 713 | 1.300 % | c | 17437 | 987 1644 542573 | 5500 4394 713 | 1.300 % | c | 17587 | 987 1644 542573 | 6050 4544 713 | 1.300 % | c =============================================================================== c New solution: 3863 c Elapsed CPU time: 137.251 s Remaining CPU time: 42.7489 s c =============================================================================== c | 17645 | 987 1645 543423 | 5000 4602 713 | 1.300 % | c =============================================================================== c New solution: 3862 c Elapsed CPU time: 137.587 s Remaining CPU time: 42.4129 s c =============================================================================== c | 17695 | 987 1646 544273 | 5000 4652 713 | 1.300 % | c =============================================================================== c New solution: 3861 c Elapsed CPU time: 137.955 s Remaining CPU time: 42.045 s c =============================================================================== c | 17748 | 987 1647 545123 | 5000 4705 713 | 1.300 % | c =============================================================================== c New solution: 3860 c Elapsed CPU time: 138.397 s Remaining CPU time: 41.603 s c =============================================================================== c | 17789 | 987 1648 545973 | 5000 4746 713 | 1.300 % | c | 17889 | 987 1648 545973 | 5500 4846 713 | 1.300 % | c =============================================================================== c New solution: 3859 c Elapsed CPU time: 139.257 s Remaining CPU time: 40.7432 s c =============================================================================== c | 17932 | 987 1649 546823 | 5000 4889 713 | 1.300 % | c =============================================================================== c New solution: 3858 c Elapsed CPU time: 139.552 s Remaining CPU time: 40.4482 s c =============================================================================== c | 17941 | 987 1650 547673 | 5000 4898 713 | 1.300 % | c =============================================================================== c New solution: 3857 c Elapsed CPU time: 139.798 s Remaining CPU time: 40.2023 s c =============================================================================== c | 17946 | 987 1651 548523 | 5000 4903 713 | 1.300 % | c =============================================================================== c New solution: 3856 c Elapsed CPU time: 140.113 s Remaining CPU time: 39.8873 s c =============================================================================== c | 17960 | 987 1652 549373 | 5000 4917 713 | 1.300 % | c =============================================================================== c New solution: 3855 c Elapsed CPU time: 140.439 s Remaining CPU time: 39.5614 s c =============================================================================== c | 17979 | 987 1653 550223 | 5000 4936 713 | 1.300 % | c =============================================================================== c New solution: 3854 c Elapsed CPU time: 140.769 s Remaining CPU time: 39.2314 s c =============================================================================== c | 18022 | 987 1654 551073 | 5000 4979 713 | 1.300 % | c =============================================================================== c New solution: 3853 c Elapsed CPU time: 141.046 s Remaining CPU time: 38.9544 s c =============================================================================== c | 18052 | 987 1655 551923 | 5000 5009 713 | 1.300 % | c =============================================================================== c New solution: 3852 c Elapsed CPU time: 141.385 s Remaining CPU time: 38.6155 s c =============================================================================== c | 18087 | 987 1656 552773 | 5000 5044 713 | 1.300 % | c | 18187 | 987 1656 552773 | 5500 2622 710 | 1.300 % | c | 18337 | 987 1656 552773 | 6050 2772 710 | 1.300 % | c | 18562 | 987 1656 552773 | 6655 2997 710 | 1.300 % | c =============================================================================== c New solution: 3851 c Elapsed CPU time: 144.163 s Remaining CPU time: 35.8369 s c =============================================================================== c | 18612 | 987 1657 553623 | 5000 3047 710 | 1.300 % | c =============================================================================== c New solution: 3850 c Elapsed CPU time: 144.623 s Remaining CPU time: 35.377 s c =============================================================================== c | 18686 | 987 1658 554473 | 5000 3121 710 | 1.300 % | c =============================================================================== c New solution: 3849 c Elapsed CPU time: 145.183 s Remaining CPU time: 34.8171 s c =============================================================================== c | 18758 | 987 1659 555323 | 5000 3193 710 | 1.300 % | c =============================================================================== c New solution: 3848 c Elapsed CPU time: 145.653 s Remaining CPU time: 34.3471 s c =============================================================================== c | 18808 | 987 1660 556173 | 5000 3243 710 | 1.300 % | c =============================================================================== c New solution: 3847 c Elapsed CPU time: 145.982 s Remaining CPU time: 34.0182 s c =============================================================================== c | 18827 | 987 1661 557023 | 5000 3262 710 | 1.300 % | c =============================================================================== c New solution: 3846 c Elapsed CPU time: 146.327 s Remaining CPU time: 33.6732 s c =============================================================================== c | 18866 | 987 1662 557873 | 5000 3301 710 | 1.300 % | c | 18967 | 987 1662 557873 | 5500 3402 710 | 1.300 % | c =============================================================================== c New solution: 3845 c Elapsed CPU time: 147.674 s Remaining CPU time: 32.3264 s c =============================================================================== c | 19049 | 987 1663 558723 | 5000 3484 709 | 1.300 % | c =============================================================================== c New solution: 3844 c Elapsed CPU time: 148.016 s Remaining CPU time: 31.9835 s c =============================================================================== c | 19071 | 987 1664 559573 | 5000 3506 709 | 1.300 % | c | 19171 | 987 1664 559573 | 5500 3606 709 | 1.300 % | c =============================================================================== c New solution: 3843 c Elapsed CPU time: 149.033 s Remaining CPU time: 30.9667 s c =============================================================================== c | 19228 | 987 1665 560423 | 5000 3663 709 | 1.300 % | c | 19328 | 987 1665 560423 | 5500 3763 709 | 1.300 % | c =============================================================================== c New solution: 3842 c Elapsed CPU time: 150.145 s Remaining CPU time: 29.8548 s c =============================================================================== c | 19406 | 987 1666 561273 | 5000 3841 709 | 1.300 % | c =============================================================================== c New solution: 3841 c Elapsed CPU time: 150.553 s Remaining CPU time: 29.4469 s c =============================================================================== c | 19454 | 987 1667 562123 | 5000 3889 709 | 1.300 % | c | 19554 | 987 1667 562123 | 5500 3989 709 | 1.300 % | c =============================================================================== c New solution: 3840 c Elapsed CPU time: 151.532 s Remaining CPU time: 28.468 s c =============================================================================== c | 19621 | 987 1668 562973 | 5000 4056 709 | 1.300 % | c =============================================================================== c New solution: 3839 c Elapsed CPU time: 152.104 s Remaining CPU time: 27.8961 s c =============================================================================== c | 19692 | 987 1669 563823 | 5000 4127 709 | 1.300 % | c =============================================================================== c New solution: 3838 c Elapsed CPU time: 152.66 s Remaining CPU time: 27.3402 s c =============================================================================== c | 19766 | 987 1670 564673 | 5000 4201 709 | 1.300 % | c =============================================================================== c New solution: 3837 c Elapsed CPU time: 153.178 s Remaining CPU time: 26.8223 s c =============================================================================== c | 19833 | 987 1671 565523 | 5000 4268 709 | 1.300 % | c | 19933 | 987 1671 565523 | 5500 4368 708 | 1.300 % | c =============================================================================== c New solution: 3836 c Elapsed CPU time: 154.256 s Remaining CPU time: 25.7445 s c =============================================================================== c | 19996 | 987 1672 566373 | 5000 4431 708 | 1.300 % | c =============================================================================== c New solution: 3835 c Elapsed CPU time: 154.896 s Remaining CPU time: 25.1035 s c =============================================================================== c | 20093 | 987 1673 567223 | 5000 4528 708 | 1.300 % | c =============================================================================== c New solution: 3834 c Elapsed CPU time: 155.369 s Remaining CPU time: 24.6306 s c =============================================================================== c | 20156 | 987 1674 568073 | 5000 4591 708 | 1.300 % | c =============================================================================== c New solution: 3833 c Elapsed CPU time: 155.775 s Remaining CPU time: 24.2247 s c =============================================================================== c | 20185 | 987 1675 568923 | 5000 4620 708 | 1.300 % | c =============================================================================== c New solution: 3832 c Elapsed CPU time: 156.144 s Remaining CPU time: 23.8557 s c =============================================================================== c | 20218 | 987 1676 569773 | 5000 4653 708 | 1.300 % | c | 20318 | 987 1676 569773 | 5500 4753 708 | 1.300 % | c | 20468 | 987 1676 569773 | 6050 4903 708 | 1.300 % | c =============================================================================== c New solution: 3831 c Elapsed CPU time: 157.652 s Remaining CPU time: 22.348 s c =============================================================================== c | 20480 | 987 1677 570623 | 5000 4915 708 | 1.300 % | c | 20580 | 987 1677 570623 | 5500 5015 708 | 1.300 % | c | 20730 | 987 1677 570623 | 6050 5165 708 | 1.300 % | c | 20955 | 987 1677 570623 | 6655 5390 708 | 1.300 % | c =============================================================================== c New solution: 3830 c Elapsed CPU time: 161.642 s Remaining CPU time: 18.3576 s c =============================================================================== c | 21201 | 987 1678 571473 | 5000 5636 708 | 1.300 % | c | 21301 | 987 1678 571473 | 5500 2918 702 | 1.300 % | c | 21451 | 987 1678 571473 | 6050 3068 702 | 1.300 % | c =============================================================================== c New solution: 3829 c Elapsed CPU time: 163.734 s Remaining CPU time: 16.2659 s c =============================================================================== c | 21489 | 987 1679 572323 | 5000 3106 702 | 1.300 % | c | 21590 | 987 1679 572323 | 5500 3207 702 | 1.300 % | c =============================================================================== c New solution: 3828 c Elapsed CPU time: 164.86 s Remaining CPU time: 15.1401 s c =============================================================================== c | 21659 | 987 1680 573173 | 5000 3276 701 | 1.300 % | c =============================================================================== c New solution: 3827 c Elapsed CPU time: 165.199 s Remaining CPU time: 14.8011 s c =============================================================================== c | 21671 | 987 1681 574023 | 5000 3288 701 | 1.300 % | c | 21772 | 987 1681 574023 | 5500 3389 701 | 1.300 % | c =============================================================================== c New solution: 3826 c Elapsed CPU time: 166.289 s Remaining CPU time: 13.7113 s c =============================================================================== c | 21821 | 987 1682 574873 | 5000 3438 701 | 1.300 % | c =============================================================================== c New solution: 3825 c Elapsed CPU time: 166.93 s Remaining CPU time: 13.0704 s c =============================================================================== c | 21892 | 987 1683 575723 | 5000 3509 701 | 1.300 % | c =============================================================================== c New solution: 3824 c Elapsed CPU time: 167.587 s Remaining CPU time: 12.4135 s c =============================================================================== c | 21983 | 987 1684 576573 | 5000 3600 701 | 1.300 % | c | 22083 | 987 1684 576573 | 5500 3700 701 | 1.300 % | c | 22233 | 987 1684 576573 | 6050 3850 701 | 1.300 % | c | 22458 | 987 1684 576573 | 6655 4075 701 | 1.300 % | c =============================================================================== c New solution: 3823 c Elapsed CPU time: 171.38 s Remaining CPU time: 8.62005 s c =============================================================================== c | 22501 | 987 1685 577423 | 5000 4118 701 | 1.300 % | c | 22601 | 987 1685 577423 | 5500 4218 701 | 1.300 % | c | 22751 | 987 1685 577423 | 6050 4368 701 | 1.300 % | c =============================================================================== c New solution: 3822 c Elapsed CPU time: 173.638 s Remaining CPU time: 6.3624 s c =============================================================================== c | 22840 | 987 1686 578273 | 5000 4457 701 | 1.300 % | c | 22940 | 987 1686 578273 | 5500 4557 701 | 1.300 % | c | 23090 | 987 1686 578273 | 6050 4707 701 | 1.300 % | c =============================================================================== c New solution: 3821 c Elapsed CPU time: 176.206 s Remaining CPU time: 3.79379 s c =============================================================================== c | 23195 | 987 1687 579123 | 5000 4812 701 | 1.300 % | c =============================================================================== c New solution: 3820 c Elapsed CPU time: 176.94 s Remaining CPU time: 3.0599 s c =============================================================================== c | 23258 | 987 1688 579973 | 5000 4875 700 | 1.300 % | c | 23359 | 987 1688 579973 | 5500 4976 700 | 1.300 % | c | 23509 | 987 1688 579973 | 6050 5126 700 | 1.300 % | c =============================================================================== c New solution: 3819 c Elapsed CPU time: 179.624 s Remaining CPU time: 0.376307 s c =============================================================================== c | 23582 | 987 1689 580823 | 5000 5199 700 | 1.300 % | c There are 13 assigned variables. 0 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 927 3109 4227 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 939 3120 4246 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 947 3127 4257 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 955 3134 4266 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 962 3140 4284 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 970 3147 4301 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 977 3153 4311 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 987 3158 4346 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 996 3166 4360 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1003 3172 4372 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1011 3177 4390 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1031 3193 4435 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1041 3202 4446 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1050 3210 4464 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1061 3216 4494 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1073 3225 4516 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1083 3234 4527 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1095 3243 4549 | 5000 0 nan | 0.000 % | c ===============================================================================