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 | 991 1004 2846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4685 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 0 | 991 1005 3696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4684 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 991 1006 4546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4678 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 991 1007 5396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4677 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 991 1008 6246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4675 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 991 1009 7096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4674 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 991 1010 7946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4673 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 991 1011 8796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4671 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 991 1012 9646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4670 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 991 1013 10496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4667 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 991 1014 11346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4666 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 0 | 991 1015 12196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4662 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 991 1016 13046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4660 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 0 | 991 1017 13896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4658 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 0 | 991 1018 14746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4657 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 0 | 991 1019 15596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4656 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 0 | 991 1020 16446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4652 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 0 | 991 1021 17296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4649 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 0 | 991 1022 18146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4647 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 0 | 991 1023 18996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4646 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s c =============================================================================== c | 0 | 991 1024 19846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4645 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s c =============================================================================== c | 0 | 991 1025 20696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4644 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 0 | 991 1026 21546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4643 c Elapsed CPU time: 0.12598 s Remaining CPU time: 179.874 s c =============================================================================== c | 0 | 991 1027 22396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4641 c Elapsed CPU time: 0.131979 s Remaining CPU time: 179.868 s c =============================================================================== c | 0 | 991 1028 23246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4639 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s c =============================================================================== c | 0 | 991 1029 24096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4638 c Elapsed CPU time: 0.145977 s Remaining CPU time: 179.854 s c =============================================================================== c | 0 | 991 1030 24946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4637 c Elapsed CPU time: 0.153976 s Remaining CPU time: 179.846 s c =============================================================================== c | 0 | 991 1031 25796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4636 c Elapsed CPU time: 0.161975 s Remaining CPU time: 179.838 s c =============================================================================== c | 0 | 991 1032 26646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4634 c Elapsed CPU time: 0.168974 s Remaining CPU time: 179.831 s c =============================================================================== c | 0 | 991 1033 27496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4633 c Elapsed CPU time: 0.175973 s Remaining CPU time: 179.824 s c =============================================================================== c | 0 | 991 1034 28346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4631 c Elapsed CPU time: 0.182972 s Remaining CPU time: 179.817 s c =============================================================================== c | 0 | 991 1035 29196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4630 c Elapsed CPU time: 0.19197 s Remaining CPU time: 179.808 s c =============================================================================== c | 0 | 991 1036 30046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4629 c Elapsed CPU time: 0.200969 s Remaining CPU time: 179.799 s c =============================================================================== c | 0 | 991 1037 30896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4626 c Elapsed CPU time: 0.208968 s Remaining CPU time: 179.791 s c =============================================================================== c | 0 | 991 1038 31746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4625 c Elapsed CPU time: 0.217966 s Remaining CPU time: 179.782 s c =============================================================================== c | 0 | 991 1039 32596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4624 c Elapsed CPU time: 0.227965 s Remaining CPU time: 179.772 s c =============================================================================== c | 0 | 991 1040 33446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4623 c Elapsed CPU time: 0.236963 s Remaining CPU time: 179.763 s c =============================================================================== c | 0 | 991 1041 34296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4621 c Elapsed CPU time: 0.245962 s Remaining CPU time: 179.754 s c =============================================================================== c | 0 | 991 1042 35146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4620 c Elapsed CPU time: 0.253961 s Remaining CPU time: 179.746 s c =============================================================================== c | 0 | 991 1043 35996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4617 c Elapsed CPU time: 0.26196 s Remaining CPU time: 179.738 s c =============================================================================== c | 0 | 991 1044 36846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4612 c Elapsed CPU time: 0.271958 s Remaining CPU time: 179.728 s c =============================================================================== c | 0 | 991 1045 37696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4611 c Elapsed CPU time: 0.281957 s Remaining CPU time: 179.718 s c =============================================================================== c | 0 | 991 1046 38546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4610 c Elapsed CPU time: 0.290955 s Remaining CPU time: 179.709 s c =============================================================================== c | 0 | 991 1047 39396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4608 c Elapsed CPU time: 0.301954 s Remaining CPU time: 179.698 s c =============================================================================== c | 0 | 991 1048 40246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4606 c Elapsed CPU time: 0.310952 s Remaining CPU time: 179.689 s c =============================================================================== c | 0 | 991 1049 41096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4605 c Elapsed CPU time: 0.321951 s Remaining CPU time: 179.678 s c =============================================================================== c | 0 | 991 1050 41946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4602 c Elapsed CPU time: 0.331949 s Remaining CPU time: 179.668 s c =============================================================================== c | 0 | 991 1051 42796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4600 c Elapsed CPU time: 0.342947 s Remaining CPU time: 179.657 s c =============================================================================== c | 0 | 991 1052 43646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4599 c Elapsed CPU time: 0.352946 s Remaining CPU time: 179.647 s c =============================================================================== c | 0 | 991 1053 44496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4598 c Elapsed CPU time: 0.363944 s Remaining CPU time: 179.636 s c =============================================================================== c | 0 | 991 1054 45346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4595 c Elapsed CPU time: 0.375942 s Remaining CPU time: 179.624 s c =============================================================================== c | 0 | 991 1055 46196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4593 c Elapsed CPU time: 0.386941 s Remaining CPU time: 179.613 s c =============================================================================== c | 0 | 991 1056 47046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4592 c Elapsed CPU time: 0.397939 s Remaining CPU time: 179.602 s c =============================================================================== c | 0 | 991 1057 47896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4591 c Elapsed CPU time: 0.409937 s Remaining CPU time: 179.59 s c =============================================================================== c | 0 | 991 1058 48746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4590 c Elapsed CPU time: 0.422935 s Remaining CPU time: 179.577 s c =============================================================================== c | 0 | 991 1059 49596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4588 c Elapsed CPU time: 0.434933 s Remaining CPU time: 179.565 s c =============================================================================== c | 0 | 991 1060 50446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4587 c Elapsed CPU time: 0.447931 s Remaining CPU time: 179.552 s c =============================================================================== c | 0 | 991 1061 51296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4584 c Elapsed CPU time: 0.45993 s Remaining CPU time: 179.54 s c =============================================================================== c | 0 | 991 1062 52146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4582 c Elapsed CPU time: 0.472928 s Remaining CPU time: 179.527 s c =============================================================================== c | 0 | 991 1063 52996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4580 c Elapsed CPU time: 0.486925 s Remaining CPU time: 179.513 s c =============================================================================== c | 0 | 991 1064 53846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4579 c Elapsed CPU time: 0.499924 s Remaining CPU time: 179.5 s c =============================================================================== c | 0 | 991 1065 54696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4576 c Elapsed CPU time: 0.513921 s Remaining CPU time: 179.486 s c =============================================================================== c | 0 | 991 1066 55546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4575 c Elapsed CPU time: 0.528919 s Remaining CPU time: 179.471 s c =============================================================================== c | 0 | 991 1067 56396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4572 c Elapsed CPU time: 0.543917 s Remaining CPU time: 179.456 s c =============================================================================== c | 0 | 991 1068 57246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4570 c Elapsed CPU time: 0.558915 s Remaining CPU time: 179.441 s c =============================================================================== c | 0 | 991 1069 58096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4569 c Elapsed CPU time: 0.574912 s Remaining CPU time: 179.425 s c =============================================================================== c | 0 | 991 1070 58946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4568 c Elapsed CPU time: 0.59091 s Remaining CPU time: 179.409 s c =============================================================================== c | 0 | 991 1071 59796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4566 c Elapsed CPU time: 0.606907 s Remaining CPU time: 179.393 s c =============================================================================== c | 0 | 991 1072 60646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4565 c Elapsed CPU time: 0.621905 s Remaining CPU time: 179.378 s c =============================================================================== c | 0 | 991 1073 61496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4564 c Elapsed CPU time: 0.638902 s Remaining CPU time: 179.361 s c =============================================================================== c | 0 | 991 1074 62346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4563 c Elapsed CPU time: 0.6569 s Remaining CPU time: 179.343 s c =============================================================================== c | 0 | 991 1075 63196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4562 c Elapsed CPU time: 0.672897 s Remaining CPU time: 179.327 s c =============================================================================== c | 0 | 991 1076 64046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4559 c Elapsed CPU time: 0.691894 s Remaining CPU time: 179.308 s c =============================================================================== c | 0 | 991 1077 64896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4558 c Elapsed CPU time: 0.708892 s Remaining CPU time: 179.291 s c =============================================================================== c | 0 | 991 1078 65746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4553 c Elapsed CPU time: 0.725889 s Remaining CPU time: 179.274 s c =============================================================================== c | 0 | 991 1079 66596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4552 c Elapsed CPU time: 0.743886 s Remaining CPU time: 179.256 s c =============================================================================== c | 0 | 991 1080 67446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4551 c Elapsed CPU time: 0.762884 s Remaining CPU time: 179.237 s c =============================================================================== c | 0 | 991 1081 68296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4550 c Elapsed CPU time: 0.781881 s Remaining CPU time: 179.218 s c =============================================================================== c | 0 | 991 1082 69146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4548 c Elapsed CPU time: 0.800878 s Remaining CPU time: 179.199 s c =============================================================================== c | 0 | 991 1083 69996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4546 c Elapsed CPU time: 0.819875 s Remaining CPU time: 179.18 s c =============================================================================== c | 0 | 991 1084 70846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4545 c Elapsed CPU time: 0.839872 s Remaining CPU time: 179.16 s c =============================================================================== c | 0 | 991 1085 71696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4544 c Elapsed CPU time: 0.860869 s Remaining CPU time: 179.139 s c =============================================================================== c | 0 | 991 1086 72546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4541 c Elapsed CPU time: 0.880866 s Remaining CPU time: 179.119 s c =============================================================================== c | 0 | 991 1087 73396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4539 c Elapsed CPU time: 0.901862 s Remaining CPU time: 179.098 s c =============================================================================== c | 0 | 991 1088 74246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4538 c Elapsed CPU time: 0.922859 s Remaining CPU time: 179.077 s c =============================================================================== c | 0 | 991 1089 75096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4536 c Elapsed CPU time: 0.942856 s Remaining CPU time: 179.057 s c =============================================================================== c | 0 | 991 1090 75946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4534 c Elapsed CPU time: 0.964853 s Remaining CPU time: 179.035 s c =============================================================================== c | 0 | 991 1091 76796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4533 c Elapsed CPU time: 0.986849 s Remaining CPU time: 179.013 s c =============================================================================== c | 0 | 991 1092 77646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4532 c Elapsed CPU time: 1.00885 s Remaining CPU time: 178.991 s c =============================================================================== c | 0 | 991 1093 78496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4531 c Elapsed CPU time: 1.03184 s Remaining CPU time: 178.968 s c =============================================================================== c | 0 | 991 1094 79346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4530 c Elapsed CPU time: 1.05684 s Remaining CPU time: 178.943 s c =============================================================================== c | 0 | 991 1095 80196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4528 c Elapsed CPU time: 1.07984 s Remaining CPU time: 178.92 s c =============================================================================== c | 0 | 991 1096 81046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4527 c Elapsed CPU time: 1.10483 s Remaining CPU time: 178.895 s c =============================================================================== c | 0 | 991 1097 81896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4526 c Elapsed CPU time: 1.12883 s Remaining CPU time: 178.871 s c =============================================================================== c | 0 | 991 1098 82746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4525 c Elapsed CPU time: 1.15282 s Remaining CPU time: 178.847 s c =============================================================================== c | 0 | 991 1099 83596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4524 c Elapsed CPU time: 1.17682 s Remaining CPU time: 178.823 s c =============================================================================== c | 0 | 991 1100 84446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4523 c Elapsed CPU time: 1.20182 s Remaining CPU time: 178.798 s c =============================================================================== c | 0 | 991 1101 85296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4522 c Elapsed CPU time: 1.22881 s Remaining CPU time: 178.771 s c =============================================================================== c | 0 | 991 1102 86146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4519 c Elapsed CPU time: 1.25581 s Remaining CPU time: 178.744 s c =============================================================================== c | 0 | 991 1103 86996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4515 c Elapsed CPU time: 1.2828 s Remaining CPU time: 178.717 s c =============================================================================== c | 0 | 991 1104 87846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4513 c Elapsed CPU time: 1.3118 s Remaining CPU time: 178.688 s c =============================================================================== c | 0 | 991 1105 88696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4509 c Elapsed CPU time: 1.3408 s Remaining CPU time: 178.659 s c =============================================================================== c | 0 | 991 1106 89546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4508 c Elapsed CPU time: 1.36879 s Remaining CPU time: 178.631 s c =============================================================================== c | 0 | 991 1107 90396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4507 c Elapsed CPU time: 1.39779 s Remaining CPU time: 178.602 s c =============================================================================== c | 0 | 991 1108 91246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4504 c Elapsed CPU time: 1.42778 s Remaining CPU time: 178.572 s c =============================================================================== c | 0 | 991 1109 92096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4501 c Elapsed CPU time: 1.45678 s Remaining CPU time: 178.543 s c =============================================================================== c | 0 | 991 1110 92946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4499 c Elapsed CPU time: 1.48577 s Remaining CPU time: 178.514 s c =============================================================================== c | 0 | 991 1111 93796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4498 c Elapsed CPU time: 1.51777 s Remaining CPU time: 178.482 s c =============================================================================== c | 0 | 991 1112 94646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4497 c Elapsed CPU time: 1.54976 s Remaining CPU time: 178.45 s c =============================================================================== c | 0 | 991 1113 95496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4496 c Elapsed CPU time: 1.58176 s Remaining CPU time: 178.418 s c =============================================================================== c | 0 | 991 1114 96346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4495 c Elapsed CPU time: 1.61475 s Remaining CPU time: 178.385 s c =============================================================================== c | 0 | 991 1115 97196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4493 c Elapsed CPU time: 1.64875 s Remaining CPU time: 178.351 s c =============================================================================== c | 0 | 991 1116 98046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4491 c Elapsed CPU time: 1.68274 s Remaining CPU time: 178.317 s c =============================================================================== c | 0 | 991 1117 98896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4490 c Elapsed CPU time: 1.71474 s Remaining CPU time: 178.285 s c =============================================================================== c | 0 | 991 1118 99746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4488 c Elapsed CPU time: 1.74573 s Remaining CPU time: 178.254 s c =============================================================================== c | 0 | 991 1119 100596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4485 c Elapsed CPU time: 1.77973 s Remaining CPU time: 178.22 s c =============================================================================== c | 0 | 991 1120 101446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4484 c Elapsed CPU time: 1.81472 s Remaining CPU time: 178.185 s c =============================================================================== c | 0 | 991 1121 102296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4482 c Elapsed CPU time: 1.85172 s Remaining CPU time: 178.148 s c =============================================================================== c | 0 | 991 1122 103146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4481 c Elapsed CPU time: 1.88971 s Remaining CPU time: 178.11 s c =============================================================================== c | 0 | 991 1123 103996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4479 c Elapsed CPU time: 1.92471 s Remaining CPU time: 178.075 s c =============================================================================== c | 0 | 991 1124 104846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4478 c Elapsed CPU time: 1.9617 s Remaining CPU time: 178.038 s c =============================================================================== c | 0 | 991 1125 105696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4477 c Elapsed CPU time: 1.9987 s Remaining CPU time: 178.001 s c =============================================================================== c | 0 | 991 1126 106546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4476 c Elapsed CPU time: 2.03469 s Remaining CPU time: 177.965 s c =============================================================================== c | 0 | 991 1127 107396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4472 c Elapsed CPU time: 2.07069 s Remaining CPU time: 177.929 s c =============================================================================== c | 0 | 991 1128 108246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4471 c Elapsed CPU time: 2.11168 s Remaining CPU time: 177.888 s c =============================================================================== c | 0 | 991 1129 109096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4470 c Elapsed CPU time: 2.14967 s Remaining CPU time: 177.85 s c =============================================================================== c | 0 | 991 1130 109946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4466 c Elapsed CPU time: 2.18767 s Remaining CPU time: 177.812 s c =============================================================================== c | 0 | 991 1131 110796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4465 c Elapsed CPU time: 2.22966 s Remaining CPU time: 177.77 s c =============================================================================== c | 0 | 991 1132 111646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4464 c Elapsed CPU time: 2.26865 s Remaining CPU time: 177.731 s c =============================================================================== c | 0 | 991 1133 112496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4462 c Elapsed CPU time: 2.30865 s Remaining CPU time: 177.691 s c =============================================================================== c | 0 | 991 1134 113346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4461 c Elapsed CPU time: 2.34864 s Remaining CPU time: 177.651 s c =============================================================================== c | 0 | 991 1135 114196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4459 c Elapsed CPU time: 2.38964 s Remaining CPU time: 177.61 s c =============================================================================== c | 0 | 991 1136 115046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4458 c Elapsed CPU time: 2.43163 s Remaining CPU time: 177.568 s c =============================================================================== c | 0 | 991 1137 115896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4457 c Elapsed CPU time: 2.47362 s Remaining CPU time: 177.526 s c =============================================================================== c | 0 | 991 1138 116746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4456 c Elapsed CPU time: 2.51462 s Remaining CPU time: 177.485 s c =============================================================================== c | 0 | 991 1139 117596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4455 c Elapsed CPU time: 2.55961 s Remaining CPU time: 177.44 s c =============================================================================== c | 0 | 991 1140 118446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4454 c Elapsed CPU time: 2.6006 s Remaining CPU time: 177.399 s c =============================================================================== c | 0 | 991 1141 119296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4450 c Elapsed CPU time: 2.6426 s Remaining CPU time: 177.357 s c =============================================================================== c | 0 | 991 1142 120146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4444 c Elapsed CPU time: 2.68459 s Remaining CPU time: 177.315 s c =============================================================================== c | 0 | 991 1143 120996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4442 c Elapsed CPU time: 2.72758 s Remaining CPU time: 177.272 s c =============================================================================== c | 0 | 991 1144 121846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4437 c Elapsed CPU time: 2.76958 s Remaining CPU time: 177.23 s c =============================================================================== c | 0 | 991 1145 122696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4436 c Elapsed CPU time: 2.81557 s Remaining CPU time: 177.184 s c =============================================================================== c | 0 | 991 1146 123546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4434 c Elapsed CPU time: 2.85857 s Remaining CPU time: 177.141 s c =============================================================================== c | 0 | 991 1147 124396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4431 c Elapsed CPU time: 2.90356 s Remaining CPU time: 177.096 s c =============================================================================== c | 0 | 991 1148 125246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4430 c Elapsed CPU time: 2.94855 s Remaining CPU time: 177.051 s c =============================================================================== c | 0 | 991 1149 126096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4425 c Elapsed CPU time: 2.99454 s Remaining CPU time: 177.005 s c =============================================================================== c | 0 | 991 1150 126946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4424 c Elapsed CPU time: 3.04054 s Remaining CPU time: 176.959 s c =============================================================================== c | 0 | 991 1151 127796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4423 c Elapsed CPU time: 3.08853 s Remaining CPU time: 176.911 s c =============================================================================== c | 0 | 991 1152 128646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4422 c Elapsed CPU time: 3.13452 s Remaining CPU time: 176.865 s c =============================================================================== c | 0 | 991 1153 129496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4420 c Elapsed CPU time: 3.18052 s Remaining CPU time: 176.819 s c =============================================================================== c | 0 | 991 1154 130346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4419 c Elapsed CPU time: 3.23151 s Remaining CPU time: 176.768 s c =============================================================================== c | 0 | 991 1155 131196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4417 c Elapsed CPU time: 3.2795 s Remaining CPU time: 176.72 s c =============================================================================== c | 0 | 991 1156 132046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4416 c Elapsed CPU time: 3.32949 s Remaining CPU time: 176.671 s c =============================================================================== c | 0 | 991 1157 132896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4415 c Elapsed CPU time: 3.37949 s Remaining CPU time: 176.621 s c =============================================================================== c | 0 | 991 1158 133746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4413 c Elapsed CPU time: 3.43048 s Remaining CPU time: 176.57 s c =============================================================================== c | 0 | 991 1159 134596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4409 c Elapsed CPU time: 3.48047 s Remaining CPU time: 176.52 s c =============================================================================== c | 0 | 991 1160 135446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4407 c Elapsed CPU time: 3.53246 s Remaining CPU time: 176.468 s c =============================================================================== c | 0 | 991 1161 136296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4406 c Elapsed CPU time: 3.58345 s Remaining CPU time: 176.417 s c =============================================================================== c | 0 | 991 1162 137146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4404 c Elapsed CPU time: 3.63645 s Remaining CPU time: 176.364 s c =============================================================================== c | 0 | 991 1163 137996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4402 c Elapsed CPU time: 3.68744 s Remaining CPU time: 176.313 s c =============================================================================== c | 0 | 991 1164 138846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4401 c Elapsed CPU time: 3.73743 s Remaining CPU time: 176.263 s c =============================================================================== c | 0 | 991 1165 139696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4399 c Elapsed CPU time: 3.79142 s Remaining CPU time: 176.209 s c =============================================================================== c | 0 | 991 1166 140546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4398 c Elapsed CPU time: 3.84342 s Remaining CPU time: 176.157 s c =============================================================================== c | 0 | 991 1167 141396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4394 c Elapsed CPU time: 3.89641 s Remaining CPU time: 176.104 s c =============================================================================== c | 0 | 991 1168 142246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4391 c Elapsed CPU time: 3.9474 s Remaining CPU time: 176.053 s c =============================================================================== c | 0 | 991 1169 143096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4389 c Elapsed CPU time: 4.00039 s Remaining CPU time: 176 s c =============================================================================== c | 0 | 991 1170 143946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4385 c Elapsed CPU time: 4.05338 s Remaining CPU time: 175.947 s c =============================================================================== c | 0 | 991 1171 144796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4382 c Elapsed CPU time: 4.10637 s Remaining CPU time: 175.894 s c =============================================================================== c | 0 | 991 1172 145646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4380 c Elapsed CPU time: 4.16237 s Remaining CPU time: 175.838 s c =============================================================================== c | 0 | 991 1173 146496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4378 c Elapsed CPU time: 4.22136 s Remaining CPU time: 175.779 s c =============================================================================== c | 0 | 991 1174 147346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4376 c Elapsed CPU time: 4.28035 s Remaining CPU time: 175.72 s c =============================================================================== c | 0 | 991 1175 148196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4375 c Elapsed CPU time: 4.33634 s Remaining CPU time: 175.664 s c =============================================================================== c | 0 | 991 1176 149046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4374 c Elapsed CPU time: 4.39433 s Remaining CPU time: 175.606 s c =============================================================================== c | 0 | 991 1177 149896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4373 c Elapsed CPU time: 4.45032 s Remaining CPU time: 175.55 s c =============================================================================== c | 0 | 991 1178 150746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4372 c Elapsed CPU time: 4.50931 s Remaining CPU time: 175.491 s c =============================================================================== c | 0 | 991 1179 151596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4369 c Elapsed CPU time: 4.5683 s Remaining CPU time: 175.432 s c =============================================================================== c | 0 | 991 1180 152446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4367 c Elapsed CPU time: 4.6263 s Remaining CPU time: 175.374 s c =============================================================================== c | 0 | 991 1181 153296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4363 c Elapsed CPU time: 4.68329 s Remaining CPU time: 175.317 s c =============================================================================== c | 0 | 991 1182 154146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4360 c Elapsed CPU time: 4.74028 s Remaining CPU time: 175.26 s c =============================================================================== c | 0 | 991 1183 154996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4359 c Elapsed CPU time: 4.80027 s Remaining CPU time: 175.2 s c =============================================================================== c | 0 | 991 1184 155846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4358 c Elapsed CPU time: 4.86026 s Remaining CPU time: 175.14 s c =============================================================================== c | 0 | 991 1185 156696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4357 c Elapsed CPU time: 4.91725 s Remaining CPU time: 175.083 s c =============================================================================== c | 0 | 991 1186 157546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4356 c Elapsed CPU time: 4.97924 s Remaining CPU time: 175.021 s c =============================================================================== c | 0 | 991 1187 158396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4355 c Elapsed CPU time: 5.04123 s Remaining CPU time: 174.959 s c =============================================================================== c | 0 | 991 1188 159246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4354 c Elapsed CPU time: 5.10422 s Remaining CPU time: 174.896 s c =============================================================================== c | 0 | 991 1189 160096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4350 c Elapsed CPU time: 5.16621 s Remaining CPU time: 174.834 s c =============================================================================== c | 1 | 991 1190 160946 | 5000 1 807 | 0.000 % | c =============================================================================== c New solution: 4348 c Elapsed CPU time: 5.2322 s Remaining CPU time: 174.768 s c =============================================================================== c | 1 | 991 1191 161796 | 5000 1 807 | 0.000 % | c =============================================================================== c New solution: 4347 c Elapsed CPU time: 5.29719 s Remaining CPU time: 174.703 s c =============================================================================== c | 1 | 991 1192 162646 | 5000 1 807 | 0.000 % | c =============================================================================== c New solution: 4344 c Elapsed CPU time: 5.36318 s Remaining CPU time: 174.637 s c =============================================================================== c | 1 | 991 1193 163496 | 5000 1 807 | 0.000 % | c =============================================================================== c New solution: 4343 c Elapsed CPU time: 5.43117 s Remaining CPU time: 174.569 s c =============================================================================== c | 1 | 991 1194 164346 | 5000 1 807 | 0.000 % | c =============================================================================== c New solution: 4342 c Elapsed CPU time: 5.49716 s Remaining CPU time: 174.503 s c =============================================================================== c | 1 | 991 1195 165196 | 5000 1 807 | 0.000 % | c =============================================================================== c New solution: 4340 c Elapsed CPU time: 5.56015 s Remaining CPU time: 174.44 s c =============================================================================== c | 2 | 991 1196 166046 | 5000 2 806 | 0.000 % | c =============================================================================== c New solution: 4338 c Elapsed CPU time: 5.62415 s Remaining CPU time: 174.376 s c =============================================================================== c | 2 | 991 1197 166896 | 5000 2 806 | 0.000 % | c =============================================================================== c New solution: 4337 c Elapsed CPU time: 5.68813 s Remaining CPU time: 174.312 s c =============================================================================== c | 2 | 991 1198 167746 | 5000 2 806 | 0.000 % | c =============================================================================== c New solution: 4336 c Elapsed CPU time: 5.75312 s Remaining CPU time: 174.247 s c =============================================================================== c | 2 | 991 1199 168596 | 5000 2 806 | 0.000 % | c =============================================================================== c New solution: 4335 c Elapsed CPU time: 5.82012 s Remaining CPU time: 174.18 s c =============================================================================== c | 2 | 991 1200 169446 | 5000 2 806 | 0.000 % | c =============================================================================== c New solution: 4334 c Elapsed CPU time: 5.88711 s Remaining CPU time: 174.113 s c =============================================================================== c | 2 | 991 1201 170296 | 5000 2 806 | 0.000 % | c =============================================================================== c New solution: 4332 c Elapsed CPU time: 5.95309 s Remaining CPU time: 174.047 s c =============================================================================== c | 2 | 991 1202 171146 | 5000 2 806 | 0.000 % | c =============================================================================== c New solution: 4330 c Elapsed CPU time: 6.02308 s Remaining CPU time: 173.977 s c =============================================================================== c | 2 | 991 1203 171996 | 5000 2 806 | 0.000 % | c =============================================================================== c New solution: 4328 c Elapsed CPU time: 6.09007 s Remaining CPU time: 173.91 s c =============================================================================== c | 2 | 991 1204 172846 | 5000 2 806 | 0.000 % | c =============================================================================== c New solution: 4327 c Elapsed CPU time: 6.16506 s Remaining CPU time: 173.835 s c =============================================================================== c | 2 | 991 1205 173696 | 5000 2 806 | 0.000 % | c =============================================================================== c New solution: 4325 c Elapsed CPU time: 6.24605 s Remaining CPU time: 173.754 s c =============================================================================== c | 3 | 991 1206 174546 | 5000 3 538 | 0.000 % | c =============================================================================== c New solution: 4324 c Elapsed CPU time: 6.31404 s Remaining CPU time: 173.686 s c =============================================================================== c | 3 | 991 1207 175396 | 5000 3 538 | 0.000 % | c =============================================================================== c New solution: 4323 c Elapsed CPU time: 6.38403 s Remaining CPU time: 173.616 s c =============================================================================== c | 3 | 991 1208 176246 | 5000 3 538 | 0.000 % | c =============================================================================== c New solution: 4322 c Elapsed CPU time: 6.46402 s Remaining CPU time: 173.536 s c =============================================================================== c | 3 | 991 1209 177096 | 5000 3 538 | 0.000 % | c =============================================================================== c New solution: 4321 c Elapsed CPU time: 6.542 s Remaining CPU time: 173.458 s c =============================================================================== c | 3 | 991 1210 177946 | 5000 3 538 | 0.000 % | c =============================================================================== c New solution: 4320 c Elapsed CPU time: 6.61399 s Remaining CPU time: 173.386 s c =============================================================================== c | 3 | 991 1211 178796 | 5000 3 538 | 0.000 % | c =============================================================================== c New solution: 4319 c Elapsed CPU time: 6.68498 s Remaining CPU time: 173.315 s c =============================================================================== c | 3 | 991 1212 179646 | 5000 3 538 | 0.000 % | c =============================================================================== c New solution: 4318 c Elapsed CPU time: 6.76597 s Remaining CPU time: 173.234 s c =============================================================================== c | 3 | 991 1213 180496 | 5000 3 538 | 0.000 % | c =============================================================================== c New solution: 4317 c Elapsed CPU time: 6.83896 s Remaining CPU time: 173.161 s c =============================================================================== c | 3 | 991 1214 181346 | 5000 3 538 | 0.000 % | c =============================================================================== c New solution: 4316 c Elapsed CPU time: 6.91495 s Remaining CPU time: 173.085 s c =============================================================================== c | 3 | 991 1215 182196 | 5000 3 538 | 0.000 % | c =============================================================================== c New solution: 4315 c Elapsed CPU time: 6.99394 s Remaining CPU time: 173.006 s c =============================================================================== c | 3 | 991 1216 183046 | 5000 3 538 | 0.000 % | c =============================================================================== c New solution: 4314 c Elapsed CPU time: 7.07692 s Remaining CPU time: 172.923 s c =============================================================================== c | 3 | 991 1217 183896 | 5000 3 538 | 0.000 % | c =============================================================================== c New solution: 4313 c Elapsed CPU time: 7.15391 s Remaining CPU time: 172.846 s c =============================================================================== c | 3 | 991 1218 184746 | 5000 3 538 | 0.000 % | c =============================================================================== c New solution: 4312 c Elapsed CPU time: 7.2259 s Remaining CPU time: 172.774 s c =============================================================================== c | 3 | 991 1219 185596 | 5000 3 538 | 0.000 % | c =============================================================================== c New solution: 4311 c Elapsed CPU time: 7.30089 s Remaining CPU time: 172.699 s c =============================================================================== c | 3 | 991 1220 186446 | 5000 3 538 | 0.000 % | c =============================================================================== c New solution: 4309 c Elapsed CPU time: 7.37788 s Remaining CPU time: 172.622 s c =============================================================================== c | 3 | 991 1221 187296 | 5000 3 538 | 0.000 % | c =============================================================================== c New solution: 4308 c Elapsed CPU time: 7.45687 s Remaining CPU time: 172.543 s c =============================================================================== c | 3 | 991 1222 188146 | 5000 3 538 | 0.000 % | c =============================================================================== c New solution: 4306 c Elapsed CPU time: 7.52985 s Remaining CPU time: 172.47 s c =============================================================================== c | 3 | 991 1223 188996 | 5000 3 538 | 0.000 % | c =============================================================================== c New solution: 4305 c Elapsed CPU time: 7.60584 s Remaining CPU time: 172.394 s c =============================================================================== c | 3 | 991 1224 189846 | 5000 3 538 | 0.000 % | c =============================================================================== c New solution: 4304 c Elapsed CPU time: 7.68683 s Remaining CPU time: 172.313 s c =============================================================================== c | 3 | 991 1225 190696 | 5000 3 538 | 0.000 % | c =============================================================================== c New solution: 4303 c Elapsed CPU time: 7.76782 s Remaining CPU time: 172.232 s c =============================================================================== c | 3 | 991 1226 191546 | 5000 3 538 | 0.000 % | c =============================================================================== c New solution: 4302 c Elapsed CPU time: 7.84581 s Remaining CPU time: 172.154 s c =============================================================================== c | 3 | 991 1227 192396 | 5000 3 538 | 0.000 % | c =============================================================================== c New solution: 4301 c Elapsed CPU time: 7.92879 s Remaining CPU time: 172.071 s c =============================================================================== c | 3 | 991 1228 193246 | 5000 3 538 | 0.000 % | c =============================================================================== c New solution: 4300 c Elapsed CPU time: 8.01078 s Remaining CPU time: 171.989 s c =============================================================================== c | 3 | 991 1229 194096 | 5000 3 538 | 0.000 % | c =============================================================================== c New solution: 4298 c Elapsed CPU time: 8.09077 s Remaining CPU time: 171.909 s c =============================================================================== c | 3 | 991 1230 194946 | 5000 3 538 | 0.000 % | c =============================================================================== c New solution: 4296 c Elapsed CPU time: 8.16576 s Remaining CPU time: 171.834 s c =============================================================================== c | 3 | 991 1231 195796 | 5000 3 538 | 0.000 % | c =============================================================================== c New solution: 4295 c Elapsed CPU time: 8.24275 s Remaining CPU time: 171.757 s c =============================================================================== c | 3 | 991 1232 196646 | 5000 3 538 | 0.000 % | c =============================================================================== c New solution: 4294 c Elapsed CPU time: 8.32173 s Remaining CPU time: 171.678 s c =============================================================================== c | 3 | 991 1233 197496 | 5000 3 538 | 0.000 % | c =============================================================================== c New solution: 4293 c Elapsed CPU time: 8.39872 s Remaining CPU time: 171.601 s c =============================================================================== c | 4 | 991 1234 198346 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 4292 c Elapsed CPU time: 8.48071 s Remaining CPU time: 171.519 s c =============================================================================== c | 4 | 991 1235 199196 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 4291 c Elapsed CPU time: 8.5637 s Remaining CPU time: 171.436 s c =============================================================================== c | 4 | 991 1236 200046 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 4290 c Elapsed CPU time: 8.65468 s Remaining CPU time: 171.345 s c =============================================================================== c | 4 | 991 1237 200896 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 4289 c Elapsed CPU time: 8.74067 s Remaining CPU time: 171.259 s c =============================================================================== c | 4 | 991 1238 201746 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 4288 c Elapsed CPU time: 8.82466 s Remaining CPU time: 171.175 s c =============================================================================== c | 4 | 991 1239 202596 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 4287 c Elapsed CPU time: 8.91464 s Remaining CPU time: 171.085 s c =============================================================================== c | 4 | 991 1240 203446 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 4286 c Elapsed CPU time: 9.00263 s Remaining CPU time: 170.997 s c =============================================================================== c | 4 | 991 1241 204296 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 4285 c Elapsed CPU time: 9.08562 s Remaining CPU time: 170.914 s c =============================================================================== c | 4 | 991 1242 205146 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 4284 c Elapsed CPU time: 9.16661 s Remaining CPU time: 170.833 s c =============================================================================== c | 4 | 991 1243 205996 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 4283 c Elapsed CPU time: 9.25159 s Remaining CPU time: 170.748 s c =============================================================================== c | 4 | 991 1244 206846 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 4282 c Elapsed CPU time: 9.34658 s Remaining CPU time: 170.653 s c =============================================================================== c | 4 | 991 1245 207696 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 4281 c Elapsed CPU time: 9.44456 s Remaining CPU time: 170.555 s c =============================================================================== c | 4 | 991 1246 208546 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 4280 c Elapsed CPU time: 9.53755 s Remaining CPU time: 170.462 s c =============================================================================== c | 4 | 991 1247 209396 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 4279 c Elapsed CPU time: 9.62654 s Remaining CPU time: 170.373 s c =============================================================================== c | 4 | 991 1248 210246 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 4278 c Elapsed CPU time: 9.72152 s Remaining CPU time: 170.278 s c =============================================================================== c | 4 | 991 1249 211096 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 4277 c Elapsed CPU time: 9.80951 s Remaining CPU time: 170.19 s c =============================================================================== c | 4 | 991 1250 211946 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 4276 c Elapsed CPU time: 9.89949 s Remaining CPU time: 170.101 s c =============================================================================== c | 4 | 991 1251 212796 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 4275 c Elapsed CPU time: 9.98948 s Remaining CPU time: 170.011 s c =============================================================================== c | 4 | 991 1252 213646 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 4274 c Elapsed CPU time: 10.0815 s Remaining CPU time: 169.919 s c =============================================================================== c | 4 | 991 1253 214496 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 4273 c Elapsed CPU time: 10.1715 s Remaining CPU time: 169.829 s c =============================================================================== c | 4 | 991 1254 215346 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 4272 c Elapsed CPU time: 10.2634 s Remaining CPU time: 169.737 s c =============================================================================== c | 4 | 991 1255 216196 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 4271 c Elapsed CPU time: 10.3554 s Remaining CPU time: 169.645 s c =============================================================================== c | 4 | 991 1256 217046 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 4270 c Elapsed CPU time: 10.4534 s Remaining CPU time: 169.547 s c =============================================================================== c | 4 | 991 1257 217896 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 4269 c Elapsed CPU time: 10.5514 s Remaining CPU time: 169.449 s c =============================================================================== c | 4 | 991 1258 218746 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 4268 c Elapsed CPU time: 10.6434 s Remaining CPU time: 169.357 s c =============================================================================== c | 4 | 991 1259 219596 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 4267 c Elapsed CPU time: 10.7424 s Remaining CPU time: 169.258 s c =============================================================================== c | 4 | 991 1260 220446 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 4266 c Elapsed CPU time: 10.8404 s Remaining CPU time: 169.16 s c =============================================================================== c | 4 | 991 1261 221296 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 4265 c Elapsed CPU time: 10.9363 s Remaining CPU time: 169.064 s c =============================================================================== c | 4 | 991 1262 222146 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 4264 c Elapsed CPU time: 11.0303 s Remaining CPU time: 168.97 s c =============================================================================== c | 4 | 991 1263 222996 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 4263 c Elapsed CPU time: 11.1343 s Remaining CPU time: 168.866 s c =============================================================================== c | 4 | 991 1264 223846 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 4262 c Elapsed CPU time: 11.2343 s Remaining CPU time: 168.766 s c =============================================================================== c | 4 | 991 1265 224696 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 4261 c Elapsed CPU time: 11.3343 s Remaining CPU time: 168.666 s c =============================================================================== c | 4 | 991 1266 225546 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 4260 c Elapsed CPU time: 11.4293 s Remaining CPU time: 168.571 s c =============================================================================== c | 4 | 991 1267 226396 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 4259 c Elapsed CPU time: 11.5312 s Remaining CPU time: 168.469 s c =============================================================================== c | 4 | 991 1268 227246 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 4258 c Elapsed CPU time: 11.6352 s Remaining CPU time: 168.365 s c =============================================================================== c | 4 | 991 1269 228096 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 4257 c Elapsed CPU time: 11.7352 s Remaining CPU time: 168.265 s c =============================================================================== c | 4 | 991 1270 228946 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 4256 c Elapsed CPU time: 11.8352 s Remaining CPU time: 168.165 s c =============================================================================== c | 4 | 991 1271 229796 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 4255 c Elapsed CPU time: 11.9392 s Remaining CPU time: 168.061 s c =============================================================================== c | 5 | 991 1272 230646 | 5000 5 638 | 0.000 % | c =============================================================================== c New solution: 4254 c Elapsed CPU time: 12.0502 s Remaining CPU time: 167.95 s c =============================================================================== c | 7 | 991 1273 231496 | 5000 7 679 | 0.000 % | c =============================================================================== c New solution: 4253 c Elapsed CPU time: 12.1502 s Remaining CPU time: 167.85 s c =============================================================================== c | 9 | 991 1274 232346 | 5000 9 702 | 0.000 % | c =============================================================================== c New solution: 4252 c Elapsed CPU time: 12.2501 s Remaining CPU time: 167.75 s c =============================================================================== c | 9 | 991 1275 233196 | 5000 9 702 | 0.000 % | c =============================================================================== c New solution: 4251 c Elapsed CPU time: 12.3531 s Remaining CPU time: 167.647 s c =============================================================================== c | 9 | 991 1276 234046 | 5000 9 702 | 0.000 % | c =============================================================================== c New solution: 4250 c Elapsed CPU time: 12.4561 s Remaining CPU time: 167.544 s c =============================================================================== c | 9 | 991 1277 234896 | 5000 9 702 | 0.000 % | c =============================================================================== c New solution: 4249 c Elapsed CPU time: 12.5611 s Remaining CPU time: 167.439 s c =============================================================================== c | 9 | 991 1278 235746 | 5000 9 702 | 0.000 % | c =============================================================================== c New solution: 4248 c Elapsed CPU time: 12.6631 s Remaining CPU time: 167.337 s c =============================================================================== c | 9 | 991 1279 236596 | 5000 9 702 | 0.000 % | c =============================================================================== c New solution: 4247 c Elapsed CPU time: 12.7651 s Remaining CPU time: 167.235 s c =============================================================================== c | 9 | 991 1280 237446 | 5000 9 702 | 0.000 % | c =============================================================================== c New solution: 4246 c Elapsed CPU time: 12.865 s Remaining CPU time: 167.135 s c =============================================================================== c | 9 | 991 1281 238296 | 5000 9 702 | 0.000 % | c =============================================================================== c New solution: 4245 c Elapsed CPU time: 12.97 s Remaining CPU time: 167.03 s c =============================================================================== c | 9 | 991 1282 239146 | 5000 9 702 | 0.000 % | c =============================================================================== c New solution: 4244 c Elapsed CPU time: 13.075 s Remaining CPU time: 166.925 s c =============================================================================== c | 9 | 991 1283 239996 | 5000 9 702 | 0.000 % | c =============================================================================== c New solution: 4243 c Elapsed CPU time: 13.18 s Remaining CPU time: 166.82 s c =============================================================================== c | 9 | 991 1284 240846 | 5000 9 702 | 0.000 % | c =============================================================================== c New solution: 4242 c Elapsed CPU time: 13.283 s Remaining CPU time: 166.717 s c =============================================================================== c | 11 | 991 1285 241696 | 5000 11 646 | 0.000 % | c =============================================================================== c New solution: 4241 c Elapsed CPU time: 13.389 s Remaining CPU time: 166.611 s c =============================================================================== c | 11 | 991 1286 242546 | 5000 11 646 | 0.000 % | c =============================================================================== c New solution: 4240 c Elapsed CPU time: 13.4989 s Remaining CPU time: 166.501 s c =============================================================================== c | 11 | 991 1287 243396 | 5000 11 646 | 0.000 % | c =============================================================================== c New solution: 4239 c Elapsed CPU time: 13.6109 s Remaining CPU time: 166.389 s c =============================================================================== c | 11 | 991 1288 244246 | 5000 11 646 | 0.000 % | c =============================================================================== c New solution: 4238 c Elapsed CPU time: 13.7229 s Remaining CPU time: 166.277 s c =============================================================================== c | 11 | 991 1289 245096 | 5000 11 646 | 0.000 % | c =============================================================================== c New solution: 4237 c Elapsed CPU time: 13.8229 s Remaining CPU time: 166.177 s c =============================================================================== c | 11 | 991 1290 245946 | 5000 11 646 | 0.000 % | c =============================================================================== c New solution: 4236 c Elapsed CPU time: 13.9349 s Remaining CPU time: 166.065 s c =============================================================================== c | 11 | 991 1291 246796 | 5000 11 646 | 0.000 % | c =============================================================================== c New solution: 4235 c Elapsed CPU time: 14.0469 s Remaining CPU time: 165.953 s c =============================================================================== c | 11 | 991 1292 247646 | 5000 11 646 | 0.000 % | c =============================================================================== c New solution: 4234 c Elapsed CPU time: 14.1538 s Remaining CPU time: 165.846 s c =============================================================================== c | 11 | 991 1293 248496 | 5000 11 646 | 0.000 % | c =============================================================================== c New solution: 4233 c Elapsed CPU time: 14.2598 s Remaining CPU time: 165.74 s c =============================================================================== c | 12 | 991 1294 249346 | 5000 12 592 | 0.000 % | c =============================================================================== c New solution: 4232 c Elapsed CPU time: 14.3668 s Remaining CPU time: 165.633 s c =============================================================================== c | 12 | 991 1295 250196 | 5000 12 592 | 0.000 % | c =============================================================================== c New solution: 4231 c Elapsed CPU time: 14.4798 s Remaining CPU time: 165.52 s c =============================================================================== c | 12 | 991 1296 251046 | 5000 12 592 | 0.000 % | c =============================================================================== c New solution: 4230 c Elapsed CPU time: 14.5918 s Remaining CPU time: 165.408 s c =============================================================================== c | 12 | 991 1297 251896 | 5000 12 592 | 0.000 % | c =============================================================================== c New solution: 4229 c Elapsed CPU time: 14.7068 s Remaining CPU time: 165.293 s c =============================================================================== c | 12 | 991 1298 252746 | 5000 12 592 | 0.000 % | c =============================================================================== c New solution: 4228 c Elapsed CPU time: 14.8197 s Remaining CPU time: 165.18 s c =============================================================================== c | 13 | 991 1299 253596 | 5000 13 607 | 0.000 % | c =============================================================================== c New solution: 4227 c Elapsed CPU time: 14.9317 s Remaining CPU time: 165.068 s c =============================================================================== c | 13 | 991 1300 254446 | 5000 13 607 | 0.000 % | c =============================================================================== c New solution: 4226 c Elapsed CPU time: 15.0457 s Remaining CPU time: 164.954 s c =============================================================================== c | 13 | 991 1301 255296 | 5000 13 607 | 0.000 % | c =============================================================================== c New solution: 4225 c Elapsed CPU time: 15.1747 s Remaining CPU time: 164.825 s c =============================================================================== c | 14 | 991 1302 256146 | 5000 14 563 | 0.000 % | c =============================================================================== c New solution: 4224 c Elapsed CPU time: 15.2867 s Remaining CPU time: 164.713 s c =============================================================================== c | 14 | 991 1303 256996 | 5000 14 563 | 0.000 % | c =============================================================================== c New solution: 4223 c Elapsed CPU time: 15.4027 s Remaining CPU time: 164.597 s c =============================================================================== c | 15 | 991 1304 257846 | 5000 15 578 | 0.000 % | c =============================================================================== c New solution: 4222 c Elapsed CPU time: 15.5156 s Remaining CPU time: 164.484 s c =============================================================================== c | 15 | 991 1305 258696 | 5000 15 578 | 0.000 % | c =============================================================================== c New solution: 4221 c Elapsed CPU time: 15.6376 s Remaining CPU time: 164.362 s c =============================================================================== c | 15 | 991 1306 259546 | 5000 15 578 | 0.000 % | c =============================================================================== c New solution: 4220 c Elapsed CPU time: 15.7466 s Remaining CPU time: 164.253 s c =============================================================================== c | 15 | 991 1307 260396 | 5000 15 578 | 0.000 % | c =============================================================================== c New solution: 4219 c Elapsed CPU time: 15.8696 s Remaining CPU time: 164.13 s c =============================================================================== c | 15 | 991 1308 261246 | 5000 15 578 | 0.000 % | c =============================================================================== c New solution: 4218 c Elapsed CPU time: 15.9806 s Remaining CPU time: 164.019 s c =============================================================================== c | 15 | 991 1309 262096 | 5000 15 578 | 0.000 % | c =============================================================================== c New solution: 4217 c Elapsed CPU time: 16.0996 s Remaining CPU time: 163.9 s c =============================================================================== c | 15 | 991 1310 262946 | 5000 15 578 | 0.000 % | c =============================================================================== c New solution: 4216 c Elapsed CPU time: 16.2165 s Remaining CPU time: 163.783 s c =============================================================================== c | 15 | 991 1311 263796 | 5000 15 578 | 0.000 % | c =============================================================================== c New solution: 4215 c Elapsed CPU time: 16.3335 s Remaining CPU time: 163.666 s c =============================================================================== c | 15 | 991 1312 264646 | 5000 15 578 | 0.000 % | c =============================================================================== c New solution: 4214 c Elapsed CPU time: 16.4505 s Remaining CPU time: 163.55 s c =============================================================================== c | 18 | 991 1313 265496 | 5000 18 611 | 0.000 % | c =============================================================================== c New solution: 4213 c Elapsed CPU time: 16.5715 s Remaining CPU time: 163.429 s c =============================================================================== c | 18 | 991 1314 266346 | 5000 18 611 | 0.000 % | c =============================================================================== c New solution: 4212 c Elapsed CPU time: 16.6975 s Remaining CPU time: 163.303 s c =============================================================================== c | 18 | 991 1315 267196 | 5000 18 611 | 0.000 % | c =============================================================================== c New solution: 4211 c Elapsed CPU time: 16.8294 s Remaining CPU time: 163.171 s c =============================================================================== c | 21 | 991 1316 268046 | 5000 21 635 | 0.000 % | c =============================================================================== c New solution: 4210 c Elapsed CPU time: 16.9554 s Remaining CPU time: 163.045 s c =============================================================================== c | 22 | 991 1317 268896 | 5000 22 641 | 0.000 % | c =============================================================================== c New solution: 4209 c Elapsed CPU time: 17.0794 s Remaining CPU time: 162.921 s c =============================================================================== c | 22 | 991 1318 269746 | 5000 22 641 | 0.000 % | c =============================================================================== c New solution: 4208 c Elapsed CPU time: 17.2054 s Remaining CPU time: 162.795 s c =============================================================================== c | 23 | 991 1319 270596 | 5000 23 647 | 0.000 % | c =============================================================================== c New solution: 4207 c Elapsed CPU time: 17.3304 s Remaining CPU time: 162.67 s c =============================================================================== c | 23 | 991 1320 271446 | 5000 23 647 | 0.000 % | c =============================================================================== c New solution: 4206 c Elapsed CPU time: 17.4533 s Remaining CPU time: 162.547 s c =============================================================================== c | 23 | 991 1321 272296 | 5000 23 647 | 0.000 % | c =============================================================================== c New solution: 4205 c Elapsed CPU time: 17.5753 s Remaining CPU time: 162.425 s c =============================================================================== c | 23 | 991 1322 273146 | 5000 23 647 | 0.000 % | c =============================================================================== c New solution: 4204 c Elapsed CPU time: 17.7093 s Remaining CPU time: 162.291 s c =============================================================================== c | 30 | 991 1323 273996 | 5000 30 677 | 0.000 % | c =============================================================================== c New solution: 4203 c Elapsed CPU time: 17.8323 s Remaining CPU time: 162.168 s c =============================================================================== c | 30 | 991 1324 274846 | 5000 30 677 | 0.000 % | c =============================================================================== c New solution: 4202 c Elapsed CPU time: 17.9533 s Remaining CPU time: 162.047 s c =============================================================================== c | 30 | 991 1325 275696 | 5000 30 677 | 0.000 % | c =============================================================================== c New solution: 4201 c Elapsed CPU time: 18.0743 s Remaining CPU time: 161.926 s c =============================================================================== c | 30 | 991 1326 276546 | 5000 30 677 | 0.000 % | c =============================================================================== c New solution: 4200 c Elapsed CPU time: 18.1972 s Remaining CPU time: 161.803 s c =============================================================================== c | 30 | 991 1327 277396 | 5000 30 677 | 0.000 % | c =============================================================================== c New solution: 4199 c Elapsed CPU time: 18.3212 s Remaining CPU time: 161.679 s c =============================================================================== c | 31 | 991 1328 278246 | 5000 31 680 | 0.000 % | c =============================================================================== c New solution: 4198 c Elapsed CPU time: 18.4512 s Remaining CPU time: 161.549 s c =============================================================================== c | 31 | 991 1329 279096 | 5000 31 680 | 0.000 % | c =============================================================================== c New solution: 4197 c Elapsed CPU time: 18.5912 s Remaining CPU time: 161.409 s c =============================================================================== c | 31 | 991 1330 279946 | 5000 31 680 | 0.000 % | c =============================================================================== c New solution: 4196 c Elapsed CPU time: 18.7122 s Remaining CPU time: 161.288 s c =============================================================================== c | 32 | 991 1331 280796 | 5000 32 659 | 0.000 % | c =============================================================================== c New solution: 4195 c Elapsed CPU time: 18.8301 s Remaining CPU time: 161.17 s c =============================================================================== c | 32 | 991 1332 281646 | 5000 32 659 | 0.000 % | c =============================================================================== c New solution: 4194 c Elapsed CPU time: 18.9461 s Remaining CPU time: 161.054 s c =============================================================================== c | 33 | 991 1333 282496 | 5000 33 662 | 0.000 % | c =============================================================================== c New solution: 4193 c Elapsed CPU time: 19.0621 s Remaining CPU time: 160.938 s c =============================================================================== c | 33 | 991 1334 283346 | 5000 33 662 | 0.000 % | c =============================================================================== c New solution: 4192 c Elapsed CPU time: 19.1931 s Remaining CPU time: 160.807 s c =============================================================================== c | 34 | 991 1335 284196 | 5000 34 666 | 0.000 % | c =============================================================================== c New solution: 4191 c Elapsed CPU time: 19.3331 s Remaining CPU time: 160.667 s c =============================================================================== c | 36 | 991 1336 285046 | 5000 36 672 | 0.000 % | c =============================================================================== c New solution: 4190 c Elapsed CPU time: 19.467 s Remaining CPU time: 160.533 s c =============================================================================== c | 36 | 991 1337 285896 | 5000 36 672 | 0.000 % | c =============================================================================== c New solution: 4189 c Elapsed CPU time: 19.599 s Remaining CPU time: 160.401 s c =============================================================================== c | 36 | 991 1338 286746 | 5000 36 672 | 0.000 % | c =============================================================================== c New solution: 4188 c Elapsed CPU time: 19.732 s Remaining CPU time: 160.268 s c =============================================================================== c | 36 | 991 1339 287596 | 5000 36 672 | 0.000 % | c =============================================================================== c New solution: 4187 c Elapsed CPU time: 19.872 s Remaining CPU time: 160.128 s c =============================================================================== c | 38 | 991 1340 288446 | 5000 38 677 | 0.000 % | c =============================================================================== c New solution: 4186 c Elapsed CPU time: 20.008 s Remaining CPU time: 159.992 s c =============================================================================== c | 39 | 991 1341 289296 | 5000 39 679 | 0.000 % | c =============================================================================== c New solution: 4185 c Elapsed CPU time: 20.1329 s Remaining CPU time: 159.867 s c =============================================================================== c | 39 | 991 1342 290146 | 5000 39 679 | 0.000 % | c =============================================================================== c New solution: 4184 c Elapsed CPU time: 20.2589 s Remaining CPU time: 159.741 s c =============================================================================== c | 39 | 991 1343 290996 | 5000 39 679 | 0.000 % | c =============================================================================== c New solution: 4183 c Elapsed CPU time: 20.3909 s Remaining CPU time: 159.609 s c =============================================================================== c | 39 | 991 1344 291846 | 5000 39 679 | 0.000 % | c =============================================================================== c New solution: 4182 c Elapsed CPU time: 20.5279 s Remaining CPU time: 159.472 s c =============================================================================== c | 41 | 991 1345 292696 | 5000 41 684 | 0.000 % | c =============================================================================== c New solution: 4181 c Elapsed CPU time: 20.6669 s Remaining CPU time: 159.333 s c =============================================================================== c | 43 | 991 1346 293546 | 5000 43 688 | 0.000 % | c =============================================================================== c New solution: 4180 c Elapsed CPU time: 20.7988 s Remaining CPU time: 159.201 s c =============================================================================== c | 43 | 991 1347 294396 | 5000 43 688 | 0.000 % | c =============================================================================== c New solution: 4179 c Elapsed CPU time: 20.9358 s Remaining CPU time: 159.064 s c =============================================================================== c | 43 | 991 1348 295246 | 5000 43 688 | 0.000 % | c =============================================================================== c New solution: 4178 c Elapsed CPU time: 21.0678 s Remaining CPU time: 158.932 s c =============================================================================== c | 43 | 991 1349 296096 | 5000 43 688 | 0.000 % | c =============================================================================== c New solution: 4177 c Elapsed CPU time: 21.1988 s Remaining CPU time: 158.801 s c =============================================================================== c | 43 | 991 1350 296946 | 5000 43 688 | 0.000 % | c =============================================================================== c New solution: 4176 c Elapsed CPU time: 21.3378 s Remaining CPU time: 158.662 s c =============================================================================== c | 44 | 991 1351 297796 | 5000 44 690 | 0.000 % | c =============================================================================== c New solution: 4175 c Elapsed CPU time: 21.4677 s Remaining CPU time: 158.532 s c =============================================================================== c | 44 | 991 1352 298646 | 5000 44 690 | 0.000 % | c =============================================================================== c New solution: 4174 c Elapsed CPU time: 21.6047 s Remaining CPU time: 158.395 s c =============================================================================== c | 44 | 991 1353 299496 | 5000 44 690 | 0.000 % | c =============================================================================== c New solution: 4173 c Elapsed CPU time: 21.7427 s Remaining CPU time: 158.257 s c =============================================================================== c | 45 | 991 1354 300346 | 5000 45 691 | 0.000 % | c =============================================================================== c New solution: 4172 c Elapsed CPU time: 21.8767 s Remaining CPU time: 158.123 s c =============================================================================== c | 45 | 991 1355 301196 | 5000 45 691 | 0.000 % | c =============================================================================== c New solution: 4171 c Elapsed CPU time: 22.0147 s Remaining CPU time: 157.985 s c =============================================================================== c | 45 | 991 1356 302046 | 5000 45 691 | 0.000 % | c =============================================================================== c New solution: 4170 c Elapsed CPU time: 22.1516 s Remaining CPU time: 157.848 s c =============================================================================== c | 45 | 991 1357 302896 | 5000 45 691 | 0.000 % | c =============================================================================== c New solution: 4169 c Elapsed CPU time: 22.2946 s Remaining CPU time: 157.705 s c =============================================================================== c | 46 | 991 1358 303746 | 5000 46 693 | 0.000 % | c =============================================================================== c New solution: 4168 c Elapsed CPU time: 22.4346 s Remaining CPU time: 157.565 s c =============================================================================== c | 47 | 991 1359 304596 | 5000 47 695 | 0.000 % | c =============================================================================== c New solution: 4167 c Elapsed CPU time: 22.5676 s Remaining CPU time: 157.432 s c =============================================================================== c | 47 | 991 1360 305446 | 5000 47 695 | 0.000 % | c =============================================================================== c New solution: 4166 c Elapsed CPU time: 22.7125 s Remaining CPU time: 157.287 s c =============================================================================== c | 49 | 991 1361 306296 | 5000 49 698 | 0.000 % | c =============================================================================== c New solution: 4165 c Elapsed CPU time: 22.8445 s Remaining CPU time: 157.155 s c =============================================================================== c | 50 | 991 1362 307146 | 5000 50 699 | 0.000 % | c =============================================================================== c New solution: 4164 c Elapsed CPU time: 22.9945 s Remaining CPU time: 157.005 s c =============================================================================== c | 53 | 991 1363 307996 | 5000 53 703 | 0.000 % | c =============================================================================== c New solution: 4163 c Elapsed CPU time: 23.1325 s Remaining CPU time: 156.868 s c =============================================================================== c | 53 | 991 1364 308846 | 5000 53 703 | 0.000 % | c =============================================================================== c New solution: 4162 c Elapsed CPU time: 23.2895 s Remaining CPU time: 156.711 s c =============================================================================== c | 56 | 991 1365 309696 | 5000 56 707 | 0.000 % | c =============================================================================== c New solution: 4161 c Elapsed CPU time: 23.4214 s Remaining CPU time: 156.579 s c =============================================================================== c | 56 | 991 1366 310546 | 5000 56 707 | 0.000 % | c =============================================================================== c New solution: 4160 c Elapsed CPU time: 23.5564 s Remaining CPU time: 156.444 s c =============================================================================== c | 60 | 991 1367 311396 | 5000 60 711 | 0.000 % | c =============================================================================== c New solution: 4159 c Elapsed CPU time: 23.7094 s Remaining CPU time: 156.291 s c =============================================================================== c | 60 | 991 1368 312246 | 5000 60 711 | 0.000 % | c =============================================================================== c New solution: 4158 c Elapsed CPU time: 23.8564 s Remaining CPU time: 156.144 s c =============================================================================== c | 61 | 991 1369 313096 | 5000 61 712 | 0.000 % | c =============================================================================== c New solution: 4157 c Elapsed CPU time: 24.0014 s Remaining CPU time: 155.999 s c =============================================================================== c | 61 | 991 1370 313946 | 5000 61 712 | 0.000 % | c =============================================================================== c New solution: 4156 c Elapsed CPU time: 24.1473 s Remaining CPU time: 155.853 s c =============================================================================== c | 61 | 991 1371 314796 | 5000 61 712 | 0.000 % | c =============================================================================== c New solution: 4155 c Elapsed CPU time: 24.2973 s Remaining CPU time: 155.703 s c =============================================================================== c | 61 | 991 1372 315646 | 5000 61 712 | 0.000 % | c =============================================================================== c New solution: 4154 c Elapsed CPU time: 24.4363 s Remaining CPU time: 155.564 s c =============================================================================== c | 65 | 991 1373 316496 | 5000 65 715 | 0.000 % | c =============================================================================== c New solution: 4153 c Elapsed CPU time: 24.5913 s Remaining CPU time: 155.409 s c =============================================================================== c | 65 | 991 1374 317346 | 5000 65 715 | 0.000 % | c =============================================================================== c New solution: 4152 c Elapsed CPU time: 24.7392 s Remaining CPU time: 155.261 s c =============================================================================== c | 66 | 991 1375 318196 | 5000 66 716 | 0.000 % | c =============================================================================== c New solution: 4151 c Elapsed CPU time: 24.8772 s Remaining CPU time: 155.123 s c =============================================================================== c | 66 | 991 1376 319046 | 5000 66 716 | 0.000 % | c =============================================================================== c New solution: 4150 c Elapsed CPU time: 25.0202 s Remaining CPU time: 154.98 s c =============================================================================== c | 67 | 991 1377 319896 | 5000 67 717 | 0.000 % | c =============================================================================== c New solution: 4149 c Elapsed CPU time: 25.1652 s Remaining CPU time: 154.835 s c =============================================================================== c | 67 | 991 1378 320746 | 5000 67 717 | 0.000 % | c =============================================================================== c New solution: 4148 c Elapsed CPU time: 25.3251 s Remaining CPU time: 154.675 s c =============================================================================== c | 67 | 991 1379 321596 | 5000 67 717 | 0.000 % | c =============================================================================== c New solution: 4147 c Elapsed CPU time: 25.4771 s Remaining CPU time: 154.523 s c =============================================================================== c | 67 | 991 1380 322446 | 5000 67 717 | 0.000 % | c =============================================================================== c New solution: 4146 c Elapsed CPU time: 25.6241 s Remaining CPU time: 154.376 s c =============================================================================== c | 67 | 991 1381 323296 | 5000 67 717 | 0.000 % | c =============================================================================== c New solution: 4145 c Elapsed CPU time: 25.7751 s Remaining CPU time: 154.225 s c =============================================================================== c | 68 | 991 1382 324146 | 5000 68 717 | 0.000 % | c =============================================================================== c New solution: 4144 c Elapsed CPU time: 25.9191 s Remaining CPU time: 154.081 s c =============================================================================== c | 68 | 991 1383 324996 | 5000 68 717 | 0.000 % | c =============================================================================== c New solution: 4143 c Elapsed CPU time: 26.076 s Remaining CPU time: 153.924 s c =============================================================================== c | 69 | 991 1384 325846 | 5000 69 718 | 0.000 % | c =============================================================================== c New solution: 4142 c Elapsed CPU time: 26.227 s Remaining CPU time: 153.773 s c =============================================================================== c | 70 | 991 1385 326696 | 5000 70 719 | 0.000 % | c =============================================================================== c New solution: 4141 c Elapsed CPU time: 26.379 s Remaining CPU time: 153.621 s c =============================================================================== c | 70 | 991 1386 327546 | 5000 70 719 | 0.000 % | c =============================================================================== c New solution: 4140 c Elapsed CPU time: 26.53 s Remaining CPU time: 153.47 s c =============================================================================== c | 70 | 991 1387 328396 | 5000 70 719 | 0.000 % | c =============================================================================== c New solution: 4139 c Elapsed CPU time: 26.6849 s Remaining CPU time: 153.315 s c =============================================================================== c | 70 | 991 1388 329246 | 5000 70 719 | 0.000 % | c =============================================================================== c New solution: 4138 c Elapsed CPU time: 26.8389 s Remaining CPU time: 153.161 s c =============================================================================== c | 70 | 991 1389 330096 | 5000 70 719 | 0.000 % | c =============================================================================== c New solution: 4137 c Elapsed CPU time: 26.9909 s Remaining CPU time: 153.009 s c =============================================================================== c | 71 | 991 1390 330946 | 5000 71 719 | 0.000 % | c =============================================================================== c New solution: 4136 c Elapsed CPU time: 27.1439 s Remaining CPU time: 152.856 s c =============================================================================== c | 71 | 991 1391 331796 | 5000 71 719 | 0.000 % | c =============================================================================== c New solution: 4135 c Elapsed CPU time: 27.2929 s Remaining CPU time: 152.707 s c =============================================================================== c | 71 | 991 1392 332646 | 5000 71 719 | 0.000 % | c =============================================================================== c New solution: 4134 c Elapsed CPU time: 27.4418 s Remaining CPU time: 152.558 s c =============================================================================== c | 71 | 991 1393 333496 | 5000 71 719 | 0.000 % | c =============================================================================== c New solution: 4133 c Elapsed CPU time: 27.5928 s Remaining CPU time: 152.407 s c =============================================================================== c | 71 | 991 1394 334346 | 5000 71 719 | 0.000 % | c =============================================================================== c New solution: 4132 c Elapsed CPU time: 27.7458 s Remaining CPU time: 152.254 s c =============================================================================== c | 71 | 991 1395 335196 | 5000 71 719 | 0.000 % | c =============================================================================== c New solution: 4131 c Elapsed CPU time: 27.8998 s Remaining CPU time: 152.1 s c =============================================================================== c | 72 | 991 1396 336046 | 5000 72 720 | 0.000 % | c =============================================================================== c New solution: 4130 c Elapsed CPU time: 28.0537 s Remaining CPU time: 151.946 s c =============================================================================== c | 79 | 991 1397 336896 | 5000 79 724 | 0.000 % | c =============================================================================== c New solution: 4129 c Elapsed CPU time: 28.2097 s Remaining CPU time: 151.79 s c =============================================================================== c | 81 | 991 1398 337746 | 5000 81 725 | 0.000 % | c =============================================================================== c New solution: 4128 c Elapsed CPU time: 28.3667 s Remaining CPU time: 151.633 s c =============================================================================== c | 81 | 991 1399 338596 | 5000 81 725 | 0.000 % | c =============================================================================== c New solution: 4127 c Elapsed CPU time: 28.5337 s Remaining CPU time: 151.466 s c =============================================================================== c | 81 | 991 1400 339446 | 5000 81 725 | 0.000 % | c =============================================================================== c New solution: 4126 c Elapsed CPU time: 28.6936 s Remaining CPU time: 151.306 s c =============================================================================== c | 81 | 991 1401 340296 | 5000 81 725 | 0.000 % | c =============================================================================== c New solution: 4125 c Elapsed CPU time: 28.8606 s Remaining CPU time: 151.139 s c =============================================================================== c | 82 | 991 1402 341146 | 5000 82 725 | 0.000 % | c =============================================================================== c New solution: 4124 c Elapsed CPU time: 29.0166 s Remaining CPU time: 150.983 s c =============================================================================== c | 82 | 991 1403 341996 | 5000 82 725 | 0.000 % | c =============================================================================== c New solution: 4123 c Elapsed CPU time: 29.1736 s Remaining CPU time: 150.826 s c =============================================================================== c | 82 | 991 1404 342846 | 5000 82 725 | 0.000 % | c =============================================================================== c New solution: 4122 c Elapsed CPU time: 29.3365 s Remaining CPU time: 150.663 s c =============================================================================== c | 85 | 991 1405 343696 | 5000 85 727 | 0.000 % | c =============================================================================== c New solution: 4121 c Elapsed CPU time: 29.4975 s Remaining CPU time: 150.502 s c =============================================================================== c | 86 | 991 1406 344546 | 5000 86 727 | 0.000 % | c =============================================================================== c New solution: 4120 c Elapsed CPU time: 29.6645 s Remaining CPU time: 150.336 s c =============================================================================== c | 87 | 991 1407 345396 | 5000 87 728 | 0.000 % | c =============================================================================== c New solution: 4119 c Elapsed CPU time: 29.8305 s Remaining CPU time: 150.17 s c =============================================================================== c | 88 | 991 1408 346246 | 5000 88 728 | 0.000 % | c =============================================================================== c New solution: 4118 c Elapsed CPU time: 29.9924 s Remaining CPU time: 150.008 s c =============================================================================== c | 88 | 991 1409 347096 | 5000 88 728 | 0.000 % | c =============================================================================== c New solution: 4117 c Elapsed CPU time: 30.1474 s Remaining CPU time: 149.853 s c =============================================================================== c | 88 | 991 1410 347946 | 5000 88 728 | 0.000 % | c =============================================================================== c New solution: 4116 c Elapsed CPU time: 30.3344 s Remaining CPU time: 149.666 s c =============================================================================== c | 93 | 991 1411 348796 | 5000 93 730 | 0.000 % | c =============================================================================== c New solution: 4115 c Elapsed CPU time: 30.4974 s Remaining CPU time: 149.503 s c =============================================================================== c | 94 | 991 1412 349646 | 5000 94 730 | 0.000 % | c =============================================================================== c New solution: 4114 c Elapsed CPU time: 30.6583 s Remaining CPU time: 149.342 s c =============================================================================== c | 94 | 991 1413 350496 | 5000 94 730 | 0.000 % | c =============================================================================== c New solution: 4113 c Elapsed CPU time: 30.8303 s Remaining CPU time: 149.17 s c =============================================================================== c | 96 | 991 1414 351346 | 5000 96 731 | 0.000 % | c =============================================================================== c New solution: 4112 c Elapsed CPU time: 30.9973 s Remaining CPU time: 149.003 s c =============================================================================== c | 96 | 991 1415 352196 | 5000 96 731 | 0.000 % | c =============================================================================== c New solution: 4111 c Elapsed CPU time: 31.1843 s Remaining CPU time: 148.816 s c =============================================================================== c | 101 | 991 1416 353046 | 5000 101 732 | 0.000 % | c =============================================================================== c New solution: 4110 c Elapsed CPU time: 31.3452 s Remaining CPU time: 148.655 s c =============================================================================== c | 101 | 991 1417 353896 | 5000 101 732 | 0.000 % | c =============================================================================== c New solution: 4109 c Elapsed CPU time: 31.5062 s Remaining CPU time: 148.494 s c =============================================================================== c | 101 | 991 1418 354746 | 5000 101 732 | 0.000 % | c =============================================================================== c New solution: 4108 c Elapsed CPU time: 31.6682 s Remaining CPU time: 148.332 s c =============================================================================== c | 101 | 991 1419 355596 | 5000 101 732 | 0.000 % | c =============================================================================== c New solution: 4107 c Elapsed CPU time: 31.8372 s Remaining CPU time: 148.163 s c =============================================================================== c | 101 | 991 1420 356446 | 5000 101 732 | 0.000 % | c =============================================================================== c New solution: 4106 c Elapsed CPU time: 31.9911 s Remaining CPU time: 148.009 s c =============================================================================== c | 101 | 991 1421 357296 | 5000 101 732 | 0.000 % | c =============================================================================== c New solution: 4105 c Elapsed CPU time: 32.1501 s Remaining CPU time: 147.85 s c =============================================================================== c | 101 | 991 1422 358146 | 5000 101 732 | 0.000 % | c =============================================================================== c New solution: 4104 c Elapsed CPU time: 32.3241 s Remaining CPU time: 147.676 s c =============================================================================== c | 103 | 991 1423 358996 | 5000 103 733 | 0.000 % | c =============================================================================== c New solution: 4103 c Elapsed CPU time: 32.4801 s Remaining CPU time: 147.52 s c =============================================================================== c | 105 | 991 1424 359846 | 5000 105 734 | 0.000 % | c =============================================================================== c New solution: 4102 c Elapsed CPU time: 32.652 s Remaining CPU time: 147.348 s c =============================================================================== c | 105 | 991 1425 360696 | 5000 105 734 | 0.000 % | c =============================================================================== c New solution: 4101 c Elapsed CPU time: 32.824 s Remaining CPU time: 147.176 s c =============================================================================== c | 105 | 991 1426 361546 | 5000 105 734 | 0.000 % | c =============================================================================== c New solution: 4100 c Elapsed CPU time: 32.984 s Remaining CPU time: 147.016 s c =============================================================================== c | 105 | 991 1427 362396 | 5000 105 734 | 0.000 % | c =============================================================================== c New solution: 4099 c Elapsed CPU time: 33.145 s Remaining CPU time: 146.855 s c =============================================================================== c | 105 | 991 1428 363246 | 5000 105 734 | 0.000 % | c =============================================================================== c New solution: 4098 c Elapsed CPU time: 33.3259 s Remaining CPU time: 146.674 s c =============================================================================== c | 112 | 991 1429 364096 | 5000 112 735 | 0.000 % | c =============================================================================== c New solution: 4097 c Elapsed CPU time: 33.4929 s Remaining CPU time: 146.507 s c =============================================================================== c | 112 | 991 1430 364946 | 5000 112 735 | 0.000 % | c =============================================================================== c New solution: 4096 c Elapsed CPU time: 33.6689 s Remaining CPU time: 146.331 s c =============================================================================== c | 112 | 991 1431 365796 | 5000 112 735 | 0.000 % | c =============================================================================== c New solution: 4095 c Elapsed CPU time: 33.8459 s Remaining CPU time: 146.154 s c =============================================================================== c | 113 | 991 1432 366646 | 5000 113 735 | 0.000 % | c =============================================================================== c New solution: 4094 c Elapsed CPU time: 34.0088 s Remaining CPU time: 145.991 s c =============================================================================== c | 113 | 991 1433 367496 | 5000 113 735 | 0.000 % | c =============================================================================== c New solution: 4093 c Elapsed CPU time: 34.1808 s Remaining CPU time: 145.819 s c =============================================================================== c | 113 | 991 1434 368346 | 5000 113 735 | 0.000 % | c =============================================================================== c New solution: 4092 c Elapsed CPU time: 34.3598 s Remaining CPU time: 145.64 s c =============================================================================== c | 114 | 991 1435 369196 | 5000 114 736 | 0.000 % | c =============================================================================== c New solution: 4091 c Elapsed CPU time: 34.5268 s Remaining CPU time: 145.473 s c =============================================================================== c | 114 | 991 1436 370046 | 5000 114 736 | 0.000 % | c =============================================================================== c New solution: 4090 c Elapsed CPU time: 34.7087 s Remaining CPU time: 145.291 s c =============================================================================== c | 114 | 991 1437 370896 | 5000 114 736 | 0.000 % | c =============================================================================== c New solution: 4089 c Elapsed CPU time: 34.8917 s Remaining CPU time: 145.108 s c =============================================================================== c | 117 | 991 1438 371746 | 5000 117 736 | 0.000 % | c =============================================================================== c New solution: 4088 c Elapsed CPU time: 35.0577 s Remaining CPU time: 144.942 s c =============================================================================== c | 117 | 991 1439 372596 | 5000 117 736 | 0.000 % | c =============================================================================== c New solution: 4087 c Elapsed CPU time: 35.2266 s Remaining CPU time: 144.773 s c =============================================================================== c | 117 | 991 1440 373446 | 5000 117 736 | 0.000 % | c =============================================================================== c New solution: 4086 c Elapsed CPU time: 35.4236 s Remaining CPU time: 144.576 s c =============================================================================== c | 120 | 991 1441 374296 | 5000 120 737 | 0.000 % | c =============================================================================== c New solution: 4085 c Elapsed CPU time: 35.5926 s Remaining CPU time: 144.407 s c =============================================================================== c | 120 | 991 1442 375146 | 5000 120 737 | 0.000 % | c =============================================================================== c New solution: 4084 c Elapsed CPU time: 35.7836 s Remaining CPU time: 144.216 s c =============================================================================== c | 120 | 991 1443 375996 | 5000 120 737 | 0.000 % | c =============================================================================== c New solution: 4083 c Elapsed CPU time: 35.9525 s Remaining CPU time: 144.047 s c =============================================================================== c | 120 | 991 1444 376846 | 5000 120 737 | 0.000 % | c =============================================================================== c New solution: 4082 c Elapsed CPU time: 36.1375 s Remaining CPU time: 143.862 s c =============================================================================== c | 120 | 991 1445 377696 | 5000 120 737 | 0.000 % | c =============================================================================== c New solution: 4081 c Elapsed CPU time: 36.3015 s Remaining CPU time: 143.699 s c =============================================================================== c | 120 | 991 1446 378546 | 5000 120 737 | 0.000 % | c =============================================================================== c New solution: 4080 c Elapsed CPU time: 36.5055 s Remaining CPU time: 143.495 s c =============================================================================== c | 128 | 991 1447 379396 | 5000 128 738 | 0.000 % | c =============================================================================== c New solution: 4079 c Elapsed CPU time: 36.6964 s Remaining CPU time: 143.304 s c =============================================================================== c | 128 | 991 1448 380246 | 5000 128 738 | 0.000 % | c =============================================================================== c New solution: 4078 c Elapsed CPU time: 36.8834 s Remaining CPU time: 143.117 s c =============================================================================== c | 129 | 991 1449 381096 | 5000 129 738 | 0.000 % | c =============================================================================== c New solution: 4077 c Elapsed CPU time: 37.0684 s Remaining CPU time: 142.932 s c =============================================================================== c | 131 | 991 1450 381946 | 5000 131 738 | 0.000 % | c =============================================================================== c New solution: 4076 c Elapsed CPU time: 37.2573 s Remaining CPU time: 142.743 s c =============================================================================== c | 133 | 991 1451 382796 | 5000 133 739 | 0.000 % | c =============================================================================== c New solution: 4075 c Elapsed CPU time: 37.4503 s Remaining CPU time: 142.55 s c =============================================================================== c | 141 | 991 1452 383646 | 5000 141 740 | 0.000 % | c =============================================================================== c New solution: 4074 c Elapsed CPU time: 37.6283 s Remaining CPU time: 142.372 s c =============================================================================== c | 146 | 991 1453 384496 | 5000 146 740 | 0.000 % | c =============================================================================== c New solution: 4073 c Elapsed CPU time: 37.8053 s Remaining CPU time: 142.195 s c =============================================================================== c | 146 | 991 1454 385346 | 5000 146 740 | 0.000 % | c =============================================================================== c New solution: 4072 c Elapsed CPU time: 37.9772 s Remaining CPU time: 142.023 s c =============================================================================== c | 146 | 991 1455 386196 | 5000 146 740 | 0.000 % | c =============================================================================== c New solution: 4071 c Elapsed CPU time: 38.1702 s Remaining CPU time: 141.83 s c =============================================================================== c | 149 | 991 1456 387046 | 5000 149 740 | 0.000 % | c =============================================================================== c New solution: 4070 c Elapsed CPU time: 38.3592 s Remaining CPU time: 141.641 s c =============================================================================== c | 151 | 991 1457 387896 | 5000 151 740 | 0.000 % | c =============================================================================== c New solution: 4069 c Elapsed CPU time: 38.5531 s Remaining CPU time: 141.447 s c =============================================================================== c | 171 | 991 1458 388746 | 5000 171 742 | 0.000 % | c =============================================================================== c New solution: 4068 c Elapsed CPU time: 38.7631 s Remaining CPU time: 141.237 s c =============================================================================== c | 177 | 991 1459 389596 | 5000 177 742 | 0.000 % | c =============================================================================== c New solution: 4067 c Elapsed CPU time: 38.9591 s Remaining CPU time: 141.041 s c =============================================================================== c | 181 | 991 1460 390446 | 5000 181 742 | 0.000 % | c =============================================================================== c New solution: 4066 c Elapsed CPU time: 39.151 s Remaining CPU time: 140.849 s c =============================================================================== c | 186 | 991 1461 391296 | 5000 186 743 | 0.000 % | c =============================================================================== c New solution: 4065 c Elapsed CPU time: 39.332 s Remaining CPU time: 140.668 s c =============================================================================== c | 186 | 991 1462 392146 | 5000 186 743 | 0.000 % | c =============================================================================== c New solution: 4064 c Elapsed CPU time: 39.541 s Remaining CPU time: 140.459 s c =============================================================================== c | 188 | 991 1463 392996 | 5000 188 743 | 0.000 % | c =============================================================================== c New solution: 4063 c Elapsed CPU time: 39.721 s Remaining CPU time: 140.279 s c =============================================================================== c | 191 | 991 1464 393846 | 5000 191 743 | 0.000 % | c =============================================================================== c New solution: 4062 c Elapsed CPU time: 39.8999 s Remaining CPU time: 140.1 s c =============================================================================== c | 192 | 991 1465 394696 | 5000 192 743 | 0.000 % | c =============================================================================== c New solution: 4061 c Elapsed CPU time: 40.1239 s Remaining CPU time: 139.876 s c =============================================================================== c | 198 | 991 1466 395546 | 5000 198 743 | 0.000 % | c =============================================================================== c New solution: 4060 c Elapsed CPU time: 40.3279 s Remaining CPU time: 139.672 s c =============================================================================== c | 202 | 991 1467 396396 | 5000 202 743 | 0.000 % | c =============================================================================== c New solution: 4059 c Elapsed CPU time: 40.5178 s Remaining CPU time: 139.482 s c =============================================================================== c | 202 | 991 1468 397246 | 5000 202 743 | 0.000 % | c =============================================================================== c New solution: 4058 c Elapsed CPU time: 40.7078 s Remaining CPU time: 139.292 s c =============================================================================== c | 202 | 991 1469 398096 | 5000 202 743 | 0.000 % | c =============================================================================== c New solution: 4057 c Elapsed CPU time: 40.8958 s Remaining CPU time: 139.104 s c =============================================================================== c | 202 | 991 1470 398946 | 5000 202 743 | 0.000 % | c =============================================================================== c New solution: 4056 c Elapsed CPU time: 41.0838 s Remaining CPU time: 138.916 s c =============================================================================== c | 202 | 991 1471 399796 | 5000 202 743 | 0.000 % | c =============================================================================== c New solution: 4055 c Elapsed CPU time: 41.2767 s Remaining CPU time: 138.723 s c =============================================================================== c | 202 | 991 1472 400646 | 5000 202 743 | 0.000 % | c =============================================================================== c New solution: 4054 c Elapsed CPU time: 41.4677 s Remaining CPU time: 138.532 s c =============================================================================== c | 203 | 991 1473 401496 | 5000 203 743 | 0.000 % | c =============================================================================== c New solution: 4053 c Elapsed CPU time: 41.6657 s Remaining CPU time: 138.334 s c =============================================================================== c | 206 | 991 1474 402346 | 5000 206 744 | 0.000 % | c =============================================================================== c New solution: 4052 c Elapsed CPU time: 41.8626 s Remaining CPU time: 138.137 s c =============================================================================== c | 208 | 991 1475 403196 | 5000 208 744 | 0.000 % | c =============================================================================== c New solution: 4051 c Elapsed CPU time: 42.0686 s Remaining CPU time: 137.931 s c =============================================================================== c | 212 | 991 1476 404046 | 5000 212 744 | 0.000 % | c =============================================================================== c New solution: 4050 c Elapsed CPU time: 42.2546 s Remaining CPU time: 137.745 s c =============================================================================== c | 213 | 991 1477 404896 | 5000 213 744 | 0.000 % | c =============================================================================== c New solution: 4049 c Elapsed CPU time: 42.4875 s Remaining CPU time: 137.512 s c =============================================================================== c | 217 | 991 1478 405746 | 5000 217 744 | 0.000 % | c =============================================================================== c New solution: 4048 c Elapsed CPU time: 42.6825 s Remaining CPU time: 137.317 s c =============================================================================== c | 218 | 991 1479 406596 | 5000 218 744 | 0.000 % | c =============================================================================== c New solution: 4047 c Elapsed CPU time: 42.8775 s Remaining CPU time: 137.123 s c =============================================================================== c | 218 | 991 1480 407446 | 5000 218 744 | 0.000 % | c =============================================================================== c New solution: 4046 c Elapsed CPU time: 43.0775 s Remaining CPU time: 136.923 s c =============================================================================== c | 219 | 991 1481 408296 | 5000 219 744 | 0.000 % | c =============================================================================== c New solution: 4045 c Elapsed CPU time: 43.2644 s Remaining CPU time: 136.736 s c =============================================================================== c | 219 | 991 1482 409146 | 5000 219 744 | 0.000 % | c =============================================================================== c New solution: 4044 c Elapsed CPU time: 43.4524 s Remaining CPU time: 136.548 s c =============================================================================== c | 219 | 991 1483 409996 | 5000 219 744 | 0.000 % | c =============================================================================== c New solution: 4043 c Elapsed CPU time: 43.6384 s Remaining CPU time: 136.362 s c =============================================================================== c | 219 | 991 1484 410846 | 5000 219 744 | 0.000 % | c =============================================================================== c New solution: 4042 c Elapsed CPU time: 43.8343 s Remaining CPU time: 136.166 s c =============================================================================== c | 219 | 991 1485 411696 | 5000 219 744 | 0.000 % | c =============================================================================== c New solution: 4041 c Elapsed CPU time: 44.0303 s Remaining CPU time: 135.97 s c =============================================================================== c | 220 | 991 1486 412546 | 5000 220 744 | 0.000 % | c =============================================================================== c New solution: 4040 c Elapsed CPU time: 44.2073 s Remaining CPU time: 135.793 s c =============================================================================== c | 220 | 991 1487 413396 | 5000 220 744 | 0.000 % | c =============================================================================== c New solution: 4039 c Elapsed CPU time: 44.4062 s Remaining CPU time: 135.594 s c =============================================================================== c | 221 | 991 1488 414246 | 5000 221 744 | 0.000 % | c =============================================================================== c New solution: 4038 c Elapsed CPU time: 44.6092 s Remaining CPU time: 135.391 s c =============================================================================== c | 221 | 991 1489 415096 | 5000 221 744 | 0.000 % | c =============================================================================== c New solution: 4037 c Elapsed CPU time: 44.8192 s Remaining CPU time: 135.181 s c =============================================================================== c | 222 | 991 1490 415946 | 5000 222 744 | 0.000 % | c =============================================================================== c New solution: 4036 c Elapsed CPU time: 45.0342 s Remaining CPU time: 134.966 s c =============================================================================== c | 232 | 991 1491 416796 | 5000 232 744 | 0.000 % | c =============================================================================== c New solution: 4035 c Elapsed CPU time: 45.2181 s Remaining CPU time: 134.782 s c =============================================================================== c | 232 | 991 1492 417646 | 5000 232 744 | 0.000 % | c =============================================================================== c New solution: 4034 c Elapsed CPU time: 45.4091 s Remaining CPU time: 134.591 s c =============================================================================== c | 232 | 991 1493 418496 | 5000 232 744 | 0.000 % | c =============================================================================== c New solution: 4033 c Elapsed CPU time: 45.6031 s Remaining CPU time: 134.397 s c =============================================================================== c | 232 | 991 1494 419346 | 5000 232 744 | 0.000 % | c =============================================================================== c New solution: 4032 c Elapsed CPU time: 45.79 s Remaining CPU time: 134.21 s c =============================================================================== c | 232 | 991 1495 420196 | 5000 232 744 | 0.000 % | c =============================================================================== c New solution: 4031 c Elapsed CPU time: 46.038 s Remaining CPU time: 133.962 s c =============================================================================== c | 237 | 991 1496 421046 | 5000 237 744 | 0.000 % | c =============================================================================== c New solution: 4030 c Elapsed CPU time: 46.235 s Remaining CPU time: 133.765 s c =============================================================================== c | 239 | 991 1497 421896 | 5000 239 744 | 0.000 % | c =============================================================================== c New solution: 4029 c Elapsed CPU time: 46.4339 s Remaining CPU time: 133.566 s c =============================================================================== c | 242 | 991 1498 422746 | 5000 242 744 | 0.000 % | c =============================================================================== c New solution: 4028 c Elapsed CPU time: 46.6279 s Remaining CPU time: 133.372 s c =============================================================================== c | 242 | 991 1499 423596 | 5000 242 744 | 0.000 % | c =============================================================================== c New solution: 4027 c Elapsed CPU time: 46.8209 s Remaining CPU time: 133.179 s c =============================================================================== c | 242 | 991 1500 424446 | 5000 242 744 | 0.000 % | c =============================================================================== c New solution: 4026 c Elapsed CPU time: 47.0348 s Remaining CPU time: 132.965 s c =============================================================================== c | 246 | 991 1501 425296 | 5000 246 744 | 0.000 % | c =============================================================================== c New solution: 4025 c Elapsed CPU time: 47.2298 s Remaining CPU time: 132.77 s c =============================================================================== c | 246 | 991 1502 426146 | 5000 246 744 | 0.000 % | c =============================================================================== c New solution: 4024 c Elapsed CPU time: 47.4218 s Remaining CPU time: 132.578 s c =============================================================================== c | 246 | 991 1503 426996 | 5000 246 744 | 0.000 % | c =============================================================================== c New solution: 4023 c Elapsed CPU time: 47.6098 s Remaining CPU time: 132.39 s c =============================================================================== c | 246 | 991 1504 427846 | 5000 246 744 | 0.000 % | c =============================================================================== c New solution: 4022 c Elapsed CPU time: 47.8027 s Remaining CPU time: 132.197 s c =============================================================================== c | 246 | 991 1505 428696 | 5000 246 744 | 0.000 % | c =============================================================================== c New solution: 4021 c Elapsed CPU time: 48.0037 s Remaining CPU time: 131.996 s c =============================================================================== c | 247 | 991 1506 429546 | 5000 247 744 | 0.000 % | c =============================================================================== c New solution: 4020 c Elapsed CPU time: 48.2007 s Remaining CPU time: 131.799 s c =============================================================================== c | 249 | 991 1507 430396 | 5000 249 744 | 0.000 % | c =============================================================================== c New solution: 4019 c Elapsed CPU time: 48.4826 s Remaining CPU time: 131.517 s c =============================================================================== c | 259 | 991 1508 431246 | 5000 259 744 | 0.000 % | c =============================================================================== c New solution: 4018 c Elapsed CPU time: 48.6916 s Remaining CPU time: 131.308 s c =============================================================================== c | 259 | 991 1509 432096 | 5000 259 744 | 0.000 % | c =============================================================================== c New solution: 4017 c Elapsed CPU time: 48.9006 s Remaining CPU time: 131.099 s c =============================================================================== c | 259 | 991 1510 432946 | 5000 259 744 | 0.000 % | c =============================================================================== c New solution: 4016 c Elapsed CPU time: 49.1085 s Remaining CPU time: 130.891 s c =============================================================================== c | 263 | 991 1511 433796 | 5000 263 744 | 0.000 % | c =============================================================================== c New solution: 4015 c Elapsed CPU time: 49.3065 s Remaining CPU time: 130.693 s c =============================================================================== c | 265 | 991 1512 434646 | 5000 265 744 | 0.000 % | c =============================================================================== c New solution: 4014 c Elapsed CPU time: 49.5605 s Remaining CPU time: 130.44 s c =============================================================================== c | 280 | 991 1513 435496 | 5000 280 744 | 0.000 % | c =============================================================================== c New solution: 4013 c Elapsed CPU time: 49.7544 s Remaining CPU time: 130.246 s c =============================================================================== c | 280 | 991 1514 436346 | 5000 280 744 | 0.000 % | c =============================================================================== c New solution: 4012 c Elapsed CPU time: 49.9804 s Remaining CPU time: 130.02 s c =============================================================================== c | 282 | 991 1515 437196 | 5000 282 744 | 0.000 % | c =============================================================================== c New solution: 4011 c Elapsed CPU time: 50.1944 s Remaining CPU time: 129.806 s c =============================================================================== c | 284 | 991 1516 438046 | 5000 284 744 | 0.000 % | c =============================================================================== c New solution: 4010 c Elapsed CPU time: 50.4003 s Remaining CPU time: 129.6 s c =============================================================================== c | 285 | 991 1517 438896 | 5000 285 744 | 0.000 % | c =============================================================================== c New solution: 4009 c Elapsed CPU time: 50.6083 s Remaining CPU time: 129.392 s c =============================================================================== c | 289 | 991 1518 439746 | 5000 289 744 | 0.000 % | c =============================================================================== c New solution: 4008 c Elapsed CPU time: 50.8183 s Remaining CPU time: 129.182 s c =============================================================================== c | 291 | 991 1519 440596 | 5000 291 744 | 0.000 % | c =============================================================================== c New solution: 4007 c Elapsed CPU time: 51.0552 s Remaining CPU time: 128.945 s c =============================================================================== c | 295 | 991 1520 441446 | 5000 295 744 | 0.000 % | c =============================================================================== c New solution: 4006 c Elapsed CPU time: 51.2682 s Remaining CPU time: 128.732 s c =============================================================================== c | 297 | 991 1521 442296 | 5000 297 744 | 0.000 % | c =============================================================================== c New solution: 4005 c Elapsed CPU time: 51.4772 s Remaining CPU time: 128.523 s c =============================================================================== c | 301 | 991 1522 443146 | 5000 301 744 | 0.000 % | c =============================================================================== c New solution: 4004 c Elapsed CPU time: 51.6741 s Remaining CPU time: 128.326 s c =============================================================================== c | 306 | 991 1523 443996 | 5000 306 741 | 0.000 % | c =============================================================================== c New solution: 4003 c Elapsed CPU time: 51.8771 s Remaining CPU time: 128.123 s c =============================================================================== c | 306 | 991 1524 444846 | 5000 306 741 | 0.000 % | c =============================================================================== c New solution: 4002 c Elapsed CPU time: 52.0911 s Remaining CPU time: 127.909 s c =============================================================================== c | 308 | 991 1525 445696 | 5000 308 739 | 0.000 % | c =============================================================================== c New solution: 4001 c Elapsed CPU time: 52.32 s Remaining CPU time: 127.68 s c =============================================================================== c | 312 | 991 1526 446546 | 5000 312 739 | 0.000 % | c =============================================================================== c New solution: 4000 c Elapsed CPU time: 52.52 s Remaining CPU time: 127.48 s c =============================================================================== c | 312 | 991 1527 447396 | 5000 312 739 | 0.000 % | c =============================================================================== c New solution: 3999 c Elapsed CPU time: 52.727 s Remaining CPU time: 127.273 s c =============================================================================== c | 313 | 991 1528 448246 | 5000 313 739 | 0.000 % | c =============================================================================== c New solution: 3998 c Elapsed CPU time: 52.925 s Remaining CPU time: 127.075 s c =============================================================================== c | 313 | 991 1529 449096 | 5000 313 739 | 0.000 % | c =============================================================================== c New solution: 3997 c Elapsed CPU time: 53.1269 s Remaining CPU time: 126.873 s c =============================================================================== c | 314 | 991 1530 449946 | 5000 314 739 | 0.000 % | c =============================================================================== c New solution: 3996 c Elapsed CPU time: 53.3239 s Remaining CPU time: 126.676 s c =============================================================================== c | 318 | 991 1531 450796 | 5000 318 739 | 0.000 % | c =============================================================================== c New solution: 3995 c Elapsed CPU time: 53.5539 s Remaining CPU time: 126.446 s c =============================================================================== c | 322 | 991 1532 451646 | 5000 322 739 | 0.000 % | c =============================================================================== c New solution: 3994 c Elapsed CPU time: 53.7608 s Remaining CPU time: 126.239 s c =============================================================================== c | 322 | 991 1533 452496 | 5000 322 739 | 0.000 % | c =============================================================================== c New solution: 3993 c Elapsed CPU time: 54.0408 s Remaining CPU time: 125.959 s c =============================================================================== c | 326 | 991 1534 453346 | 5000 326 739 | 0.000 % | c =============================================================================== c New solution: 3992 c Elapsed CPU time: 54.2518 s Remaining CPU time: 125.748 s c =============================================================================== c | 328 | 991 1535 454196 | 5000 328 739 | 0.000 % | c =============================================================================== c New solution: 3991 c Elapsed CPU time: 54.4637 s Remaining CPU time: 125.536 s c =============================================================================== c | 328 | 991 1536 455046 | 5000 328 739 | 0.000 % | c =============================================================================== c New solution: 3990 c Elapsed CPU time: 54.6947 s Remaining CPU time: 125.305 s c =============================================================================== c | 330 | 991 1537 455896 | 5000 330 739 | 0.000 % | c =============================================================================== c New solution: 3989 c Elapsed CPU time: 54.8997 s Remaining CPU time: 125.1 s c =============================================================================== c | 330 | 991 1538 456746 | 5000 330 739 | 0.000 % | c =============================================================================== c New solution: 3988 c Elapsed CPU time: 55.0966 s Remaining CPU time: 124.903 s c =============================================================================== c | 330 | 991 1539 457596 | 5000 330 739 | 0.000 % | c =============================================================================== c New solution: 3987 c Elapsed CPU time: 55.3066 s Remaining CPU time: 124.693 s c =============================================================================== c | 330 | 991 1540 458446 | 5000 330 739 | 0.000 % | c =============================================================================== c New solution: 3986 c Elapsed CPU time: 55.5196 s Remaining CPU time: 124.48 s c =============================================================================== c | 330 | 991 1541 459296 | 5000 330 739 | 0.000 % | c =============================================================================== c New solution: 3985 c Elapsed CPU time: 55.7215 s Remaining CPU time: 124.278 s c =============================================================================== c | 331 | 991 1542 460146 | 5000 331 739 | 0.000 % | c =============================================================================== c New solution: 3984 c Elapsed CPU time: 55.9305 s Remaining CPU time: 124.07 s c =============================================================================== c | 332 | 991 1543 460996 | 5000 332 739 | 0.000 % | c =============================================================================== c New solution: 3983 c Elapsed CPU time: 56.1625 s Remaining CPU time: 123.838 s c =============================================================================== c | 334 | 991 1544 461846 | 5000 334 739 | 0.000 % | c =============================================================================== c New solution: 3982 c Elapsed CPU time: 56.3844 s Remaining CPU time: 123.616 s c =============================================================================== c | 336 | 991 1545 462696 | 5000 336 739 | 0.000 % | c =============================================================================== c New solution: 3981 c Elapsed CPU time: 56.6054 s Remaining CPU time: 123.395 s c =============================================================================== c | 337 | 991 1546 463546 | 5000 337 739 | 0.000 % | c =============================================================================== c New solution: 3980 c Elapsed CPU time: 56.8214 s Remaining CPU time: 123.179 s c =============================================================================== c | 339 | 991 1547 464396 | 5000 339 739 | 0.000 % | c =============================================================================== c New solution: 3979 c Elapsed CPU time: 57.0363 s Remaining CPU time: 122.964 s c =============================================================================== c | 341 | 991 1548 465246 | 5000 341 739 | 0.000 % | c =============================================================================== c New solution: 3978 c Elapsed CPU time: 57.2513 s Remaining CPU time: 122.749 s c =============================================================================== c | 341 | 991 1549 466096 | 5000 341 739 | 0.000 % | c =============================================================================== c New solution: 3977 c Elapsed CPU time: 57.4903 s Remaining CPU time: 122.51 s c =============================================================================== c | 345 | 991 1550 466946 | 5000 345 738 | 0.000 % | c =============================================================================== c New solution: 3976 c Elapsed CPU time: 57.9592 s Remaining CPU time: 122.041 s c =============================================================================== c | 406 | 991 1551 467796 | 5000 406 737 | 0.000 % | c =============================================================================== c New solution: 3975 c Elapsed CPU time: 58.1712 s Remaining CPU time: 121.829 s c =============================================================================== c | 408 | 991 1552 468646 | 5000 408 737 | 0.000 % | c =============================================================================== c New solution: 3974 c Elapsed CPU time: 58.4591 s Remaining CPU time: 121.541 s c =============================================================================== c | 416 | 991 1553 469496 | 5000 416 737 | 0.000 % | c =============================================================================== c New solution: 3973 c Elapsed CPU time: 58.7181 s Remaining CPU time: 121.282 s c =============================================================================== c | 428 | 991 1554 470346 | 5000 428 737 | 0.000 % | c =============================================================================== c New solution: 3972 c Elapsed CPU time: 58.971 s Remaining CPU time: 121.029 s c =============================================================================== c | 431 | 991 1555 471196 | 5000 431 737 | 0.000 % | c =============================================================================== c New solution: 3971 c Elapsed CPU time: 59.232 s Remaining CPU time: 120.768 s c =============================================================================== c | 433 | 991 1556 472046 | 5000 433 737 | 0.000 % | c =============================================================================== c New solution: 3970 c Elapsed CPU time: 59.5439 s Remaining CPU time: 120.456 s c =============================================================================== c | 436 | 991 1557 472896 | 5000 436 737 | 0.000 % | c =============================================================================== c New solution: 3969 c Elapsed CPU time: 59.8419 s Remaining CPU time: 120.158 s c =============================================================================== c | 439 | 991 1558 473746 | 5000 439 737 | 0.000 % | c =============================================================================== c New solution: 3968 c Elapsed CPU time: 60.1739 s Remaining CPU time: 119.826 s c =============================================================================== c | 443 | 991 1559 474596 | 5000 443 736 | 0.000 % | c =============================================================================== c New solution: 3967 c Elapsed CPU time: 60.5568 s Remaining CPU time: 119.443 s c =============================================================================== c | 457 | 991 1560 475446 | 5000 457 736 | 0.000 % | c =============================================================================== c New solution: 3966 c Elapsed CPU time: 60.8717 s Remaining CPU time: 119.128 s c =============================================================================== c | 471 | 991 1561 476296 | 5000 471 736 | 0.000 % | c =============================================================================== c New solution: 3965 c Elapsed CPU time: 61.1537 s Remaining CPU time: 118.846 s c =============================================================================== c | 472 | 991 1562 477146 | 5000 472 736 | 0.000 % | c =============================================================================== c New solution: 3964 c Elapsed CPU time: 61.4387 s Remaining CPU time: 118.561 s c =============================================================================== c | 473 | 991 1563 477996 | 5000 473 736 | 0.000 % | c =============================================================================== c New solution: 3963 c Elapsed CPU time: 61.7646 s Remaining CPU time: 118.235 s c =============================================================================== c | 479 | 991 1564 478846 | 5000 479 736 | 0.000 % | c =============================================================================== c New solution: 3962 c Elapsed CPU time: 62.1026 s Remaining CPU time: 117.897 s c =============================================================================== c | 484 | 991 1565 479696 | 5000 484 736 | 0.000 % | c =============================================================================== c New solution: 3961 c Elapsed CPU time: 62.3835 s Remaining CPU time: 117.616 s c =============================================================================== c | 486 | 991 1566 480546 | 5000 486 736 | 0.000 % | c =============================================================================== c New solution: 3960 c Elapsed CPU time: 62.6595 s Remaining CPU time: 117.341 s c =============================================================================== c | 486 | 991 1567 481396 | 5000 486 736 | 0.000 % | c =============================================================================== c New solution: 3959 c Elapsed CPU time: 62.9444 s Remaining CPU time: 117.056 s c =============================================================================== c | 487 | 991 1568 482246 | 5000 487 736 | 0.000 % | c =============================================================================== c New solution: 3958 c Elapsed CPU time: 63.2744 s Remaining CPU time: 116.726 s c =============================================================================== c | 492 | 991 1569 483096 | 5000 492 735 | 0.000 % | c =============================================================================== c New solution: 3957 c Elapsed CPU time: 63.5583 s Remaining CPU time: 116.442 s c =============================================================================== c | 493 | 991 1570 483946 | 5000 493 734 | 0.000 % | c =============================================================================== c New solution: 3956 c Elapsed CPU time: 63.9063 s Remaining CPU time: 116.094 s c =============================================================================== c | 514 | 991 1571 484796 | 5000 514 734 | 0.000 % | c =============================================================================== c New solution: 3955 c Elapsed CPU time: 64.2162 s Remaining CPU time: 115.784 s c =============================================================================== c | 526 | 991 1572 485646 | 5000 526 734 | 0.000 % | c =============================================================================== c New solution: 3954 c Elapsed CPU time: 64.8171 s Remaining CPU time: 115.183 s c =============================================================================== c | 585 | 991 1573 486496 | 5000 585 733 | 0.000 % | c =============================================================================== c New solution: 3953 c Elapsed CPU time: 65.0841 s Remaining CPU time: 114.916 s c =============================================================================== c | 587 | 991 1574 487346 | 5000 587 733 | 0.000 % | c =============================================================================== c New solution: 3952 c Elapsed CPU time: 65.3641 s Remaining CPU time: 114.636 s c =============================================================================== c | 587 | 991 1575 488196 | 5000 587 733 | 0.000 % | c =============================================================================== c New solution: 3951 c Elapsed CPU time: 65.763 s Remaining CPU time: 114.237 s c =============================================================================== c | 616 | 991 1576 489046 | 5000 616 733 | 0.000 % | c =============================================================================== c New solution: 3950 c Elapsed CPU time: 66.083 s Remaining CPU time: 113.917 s c =============================================================================== c | 627 | 991 1577 489896 | 5000 627 733 | 0.000 % | c =============================================================================== c New solution: 3949 c Elapsed CPU time: 66.4389 s Remaining CPU time: 113.561 s c =============================================================================== c | 634 | 991 1578 490746 | 5000 634 733 | 0.000 % | c =============================================================================== c New solution: 3948 c Elapsed CPU time: 66.7009 s Remaining CPU time: 113.299 s c =============================================================================== c | 635 | 991 1579 491596 | 5000 635 733 | 0.000 % | c =============================================================================== c New solution: 3947 c Elapsed CPU time: 66.9698 s Remaining CPU time: 113.03 s c =============================================================================== c | 635 | 991 1580 492446 | 5000 635 733 | 0.000 % | c =============================================================================== c New solution: 3946 c Elapsed CPU time: 67.2508 s Remaining CPU time: 112.749 s c =============================================================================== c | 638 | 991 1581 493296 | 5000 638 733 | 0.000 % | c =============================================================================== c New solution: 3945 c Elapsed CPU time: 67.5407 s Remaining CPU time: 112.459 s c =============================================================================== c | 641 | 991 1582 494146 | 5000 641 733 | 0.000 % | c =============================================================================== c New solution: 3944 c Elapsed CPU time: 67.8247 s Remaining CPU time: 112.175 s c =============================================================================== c | 641 | 991 1583 494996 | 5000 641 733 | 0.000 % | c =============================================================================== c New solution: 3943 c Elapsed CPU time: 68.1266 s Remaining CPU time: 111.873 s c =============================================================================== c | 650 | 991 1584 495846 | 5000 650 732 | 0.000 % | c =============================================================================== c New solution: 3942 c Elapsed CPU time: 68.5486 s Remaining CPU time: 111.451 s c =============================================================================== c | 666 | 991 1585 496696 | 5000 666 732 | 0.000 % | c =============================================================================== c New solution: 3941 c Elapsed CPU time: 68.8985 s Remaining CPU time: 111.101 s c =============================================================================== c | 677 | 991 1586 497546 | 5000 677 732 | 0.000 % | c =============================================================================== c New solution: 3940 c Elapsed CPU time: 69.1965 s Remaining CPU time: 110.804 s c =============================================================================== c | 680 | 991 1587 498396 | 5000 680 732 | 0.000 % | c =============================================================================== c New solution: 3939 c Elapsed CPU time: 69.4794 s Remaining CPU time: 110.521 s c =============================================================================== c | 680 | 991 1588 499246 | 5000 680 732 | 0.000 % | c =============================================================================== c New solution: 3938 c Elapsed CPU time: 69.7884 s Remaining CPU time: 110.212 s c =============================================================================== c | 685 | 991 1589 500096 | 5000 685 732 | 0.000 % | c =============================================================================== c New solution: 3937 c Elapsed CPU time: 70.1273 s Remaining CPU time: 109.873 s c =============================================================================== c | 696 | 991 1590 500946 | 5000 696 732 | 0.000 % | c =============================================================================== c New solution: 3936 c Elapsed CPU time: 70.4103 s Remaining CPU time: 109.59 s c =============================================================================== c | 697 | 991 1591 501796 | 5000 697 732 | 0.000 % | c =============================================================================== c New solution: 3935 c Elapsed CPU time: 70.7053 s Remaining CPU time: 109.295 s c =============================================================================== c | 697 | 991 1592 502646 | 5000 697 732 | 0.000 % | c =============================================================================== c New solution: 3934 c Elapsed CPU time: 71.0142 s Remaining CPU time: 108.986 s c =============================================================================== c | 698 | 991 1593 503496 | 5000 698 732 | 0.000 % | c =============================================================================== c New solution: 3933 c Elapsed CPU time: 71.3042 s Remaining CPU time: 108.696 s c =============================================================================== c | 699 | 991 1594 504346 | 5000 699 732 | 0.000 % | c =============================================================================== c New solution: 3932 c Elapsed CPU time: 71.5791 s Remaining CPU time: 108.421 s c =============================================================================== c | 699 | 991 1595 505196 | 5000 699 732 | 0.000 % | c =============================================================================== c New solution: 3931 c Elapsed CPU time: 71.8791 s Remaining CPU time: 108.121 s c =============================================================================== c | 704 | 991 1596 506046 | 5000 704 732 | 0.000 % | c =============================================================================== c New solution: 3930 c Elapsed CPU time: 72.18 s Remaining CPU time: 107.82 s c =============================================================================== c | 713 | 991 1597 506896 | 5000 713 732 | 0.000 % | c =============================================================================== c New solution: 3929 c Elapsed CPU time: 72.467 s Remaining CPU time: 107.533 s c =============================================================================== c | 713 | 991 1598 507746 | 5000 713 732 | 0.000 % | c =============================================================================== c New solution: 3928 c Elapsed CPU time: 72.7569 s Remaining CPU time: 107.243 s c =============================================================================== c | 716 | 991 1599 508596 | 5000 716 732 | 0.000 % | c =============================================================================== c New solution: 3927 c Elapsed CPU time: 73.1029 s Remaining CPU time: 106.897 s c =============================================================================== c | 723 | 991 1600 509446 | 5000 723 732 | 0.000 % | c =============================================================================== c New solution: 3926 c Elapsed CPU time: 73.3988 s Remaining CPU time: 106.601 s c =============================================================================== c | 724 | 991 1601 510296 | 5000 724 732 | 0.000 % | c =============================================================================== c New solution: 3925 c Elapsed CPU time: 73.6958 s Remaining CPU time: 106.304 s c =============================================================================== c | 729 | 991 1602 511146 | 5000 729 732 | 0.000 % | c =============================================================================== c New solution: 3924 c Elapsed CPU time: 73.9898 s Remaining CPU time: 106.01 s c =============================================================================== c | 729 | 991 1603 511996 | 5000 729 732 | 0.000 % | c =============================================================================== c New solution: 3923 c Elapsed CPU time: 74.3627 s Remaining CPU time: 105.637 s c =============================================================================== c | 775 | 991 1604 512846 | 5000 775 730 | 0.000 % | c =============================================================================== c New solution: 3922 c Elapsed CPU time: 74.7256 s Remaining CPU time: 105.274 s c =============================================================================== c | 785 | 991 1605 513696 | 5000 785 730 | 0.000 % | c =============================================================================== c New solution: 3921 c Elapsed CPU time: 75.0396 s Remaining CPU time: 104.96 s c =============================================================================== c | 788 | 991 1606 514546 | 5000 788 730 | 0.000 % | c =============================================================================== c New solution: 3920 c Elapsed CPU time: 75.4965 s Remaining CPU time: 104.503 s c =============================================================================== c | 806 | 991 1607 515396 | 5000 806 730 | 0.000 % | c =============================================================================== c New solution: 3919 c Elapsed CPU time: 75.8245 s Remaining CPU time: 104.176 s c =============================================================================== c | 808 | 991 1608 516246 | 5000 808 730 | 0.000 % | c =============================================================================== c New solution: 3918 c Elapsed CPU time: 76.1824 s Remaining CPU time: 103.818 s c =============================================================================== c | 827 | 991 1609 517096 | 5000 827 730 | 0.000 % | c =============================================================================== c New solution: 3917 c Elapsed CPU time: 76.5024 s Remaining CPU time: 103.498 s c =============================================================================== c | 829 | 991 1610 517946 | 5000 829 730 | 0.000 % | c =============================================================================== c New solution: 3916 c Elapsed CPU time: 76.7873 s Remaining CPU time: 103.213 s c =============================================================================== c | 829 | 991 1611 518796 | 5000 829 730 | 0.000 % | c =============================================================================== c New solution: 3915 c Elapsed CPU time: 77.1123 s Remaining CPU time: 102.888 s c =============================================================================== c | 831 | 991 1612 519646 | 5000 831 729 | 0.000 % | c =============================================================================== c New solution: 3914 c Elapsed CPU time: 77.4112 s Remaining CPU time: 102.589 s c =============================================================================== c | 831 | 991 1613 520496 | 5000 831 729 | 0.000 % | c =============================================================================== c New solution: 3913 c Elapsed CPU time: 77.6972 s Remaining CPU time: 102.303 s c =============================================================================== c | 831 | 991 1614 521346 | 5000 831 729 | 0.000 % | c =============================================================================== c New solution: 3912 c Elapsed CPU time: 78.0921 s Remaining CPU time: 101.908 s c =============================================================================== c | 837 | 991 1615 522196 | 5000 837 729 | 0.000 % | c =============================================================================== c New solution: 3911 c Elapsed CPU time: 78.4421 s Remaining CPU time: 101.558 s c =============================================================================== c | 842 | 991 1616 523046 | 5000 842 729 | 0.000 % | c =============================================================================== c New solution: 3910 c Elapsed CPU time: 78.753 s Remaining CPU time: 101.247 s c =============================================================================== c | 844 | 991 1617 523896 | 5000 844 729 | 0.000 % | c =============================================================================== c New solution: 3909 c Elapsed CPU time: 79.2789 s Remaining CPU time: 100.721 s c =============================================================================== c | 892 | 991 1618 524746 | 5000 892 729 | 0.000 % | c =============================================================================== c New solution: 3908 c Elapsed CPU time: 79.6679 s Remaining CPU time: 100.332 s c =============================================================================== c | 897 | 991 1619 525596 | 5000 897 729 | 0.000 % | c =============================================================================== c New solution: 3907 c Elapsed CPU time: 80.1958 s Remaining CPU time: 99.8042 s c =============================================================================== c | 940 | 991 1620 526446 | 5000 940 728 | 0.000 % | c =============================================================================== c New solution: 3906 c Elapsed CPU time: 80.5977 s Remaining CPU time: 99.4023 s c =============================================================================== c | 948 | 991 1621 527296 | 5000 948 728 | 0.000 % | c =============================================================================== c New solution: 3905 c Elapsed CPU time: 80.8967 s Remaining CPU time: 99.1033 s c =============================================================================== c | 948 | 991 1622 528146 | 5000 948 728 | 0.000 % | c =============================================================================== c New solution: 3904 c Elapsed CPU time: 81.2057 s Remaining CPU time: 98.7943 s c =============================================================================== c | 948 | 991 1623 528996 | 5000 948 728 | 0.000 % | c =============================================================================== c New solution: 3903 c Elapsed CPU time: 81.5756 s Remaining CPU time: 98.4244 s c =============================================================================== c | 951 | 991 1624 529846 | 5000 951 728 | 0.000 % | c =============================================================================== c New solution: 3902 c Elapsed CPU time: 81.9615 s Remaining CPU time: 98.0385 s c =============================================================================== c | 960 | 991 1625 530696 | 5000 960 728 | 0.000 % | c =============================================================================== c New solution: 3901 c Elapsed CPU time: 82.2895 s Remaining CPU time: 97.7105 s c =============================================================================== c | 967 | 991 1626 531546 | 5000 967 728 | 0.000 % | c =============================================================================== c New solution: 3900 c Elapsed CPU time: 82.5984 s Remaining CPU time: 97.4016 s c =============================================================================== c | 972 | 991 1627 532396 | 5000 972 728 | 0.000 % | c =============================================================================== c New solution: 3899 c Elapsed CPU time: 82.9024 s Remaining CPU time: 97.0976 s c =============================================================================== c | 974 | 991 1628 533246 | 5000 974 728 | 0.000 % | c =============================================================================== c New solution: 3898 c Elapsed CPU time: 83.2313 s Remaining CPU time: 96.7687 s c =============================================================================== c | 975 | 991 1629 534096 | 5000 975 728 | 0.000 % | c =============================================================================== c New solution: 3897 c Elapsed CPU time: 83.5643 s Remaining CPU time: 96.4357 s c =============================================================================== c | 977 | 991 1630 534946 | 5000 977 728 | 0.000 % | c =============================================================================== c New solution: 3896 c Elapsed CPU time: 83.9392 s Remaining CPU time: 96.0608 s c =============================================================================== c | 989 | 991 1631 535796 | 5000 989 728 | 0.000 % | c =============================================================================== c New solution: 3895 c Elapsed CPU time: 84.3602 s Remaining CPU time: 95.6398 s c =============================================================================== c | 1002 | 991 1632 536646 | 5000 1002 728 | 0.000 % | c =============================================================================== c New solution: 3894 c Elapsed CPU time: 84.7101 s Remaining CPU time: 95.2899 s c =============================================================================== c | 1019 | 991 1633 537496 | 5000 1019 727 | 0.000 % | c =============================================================================== c New solution: 3893 c Elapsed CPU time: 85.0261 s Remaining CPU time: 94.9739 s c =============================================================================== c | 1021 | 991 1634 538346 | 5000 1021 727 | 0.000 % | c =============================================================================== c New solution: 3892 c Elapsed CPU time: 85.396 s Remaining CPU time: 94.604 s c =============================================================================== c | 1027 | 991 1635 539196 | 5000 1027 727 | 0.000 % | c =============================================================================== c New solution: 3891 c Elapsed CPU time: 85.696 s Remaining CPU time: 94.304 s c =============================================================================== c | 1027 | 991 1636 540046 | 5000 1027 727 | 0.000 % | c =============================================================================== c New solution: 3890 c Elapsed CPU time: 86.0459 s Remaining CPU time: 93.9541 s c =============================================================================== c | 1030 | 991 1637 540896 | 5000 1030 727 | 0.000 % | c =============================================================================== c New solution: 3889 c Elapsed CPU time: 86.3659 s Remaining CPU time: 93.6341 s c =============================================================================== c | 1030 | 991 1638 541746 | 5000 1030 727 | 0.000 % | c =============================================================================== c New solution: 3888 c Elapsed CPU time: 86.6848 s Remaining CPU time: 93.3152 s c =============================================================================== c | 1036 | 991 1639 542596 | 5000 1036 727 | 0.000 % | c =============================================================================== c New solution: 3887 c Elapsed CPU time: 87.0078 s Remaining CPU time: 92.9922 s c =============================================================================== c | 1037 | 991 1640 543446 | 5000 1037 727 | 0.000 % | c =============================================================================== c New solution: 3886 c Elapsed CPU time: 87.3797 s Remaining CPU time: 92.6203 s c =============================================================================== c | 1040 | 991 1641 544296 | 5000 1040 727 | 0.000 % | c =============================================================================== c New solution: 3885 c Elapsed CPU time: 87.6867 s Remaining CPU time: 92.3133 s c =============================================================================== c | 1040 | 991 1642 545146 | 5000 1040 727 | 0.000 % | c =============================================================================== c New solution: 3884 c Elapsed CPU time: 88.1116 s Remaining CPU time: 91.8884 s c =============================================================================== c | 1052 | 991 1643 545996 | 5000 1052 727 | 0.000 % | c =============================================================================== c New solution: 3883 c Elapsed CPU time: 88.4556 s Remaining CPU time: 91.5444 s c =============================================================================== c | 1054 | 991 1644 546846 | 5000 1054 727 | 0.000 % | c =============================================================================== c New solution: 3882 c Elapsed CPU time: 88.7625 s Remaining CPU time: 91.2375 s c =============================================================================== c | 1054 | 991 1645 547696 | 5000 1054 727 | 0.000 % | c =============================================================================== c New solution: 3881 c Elapsed CPU time: 89.0765 s Remaining CPU time: 90.9235 s c =============================================================================== c | 1054 | 991 1646 548546 | 5000 1054 727 | 0.000 % | c =============================================================================== c New solution: 3880 c Elapsed CPU time: 89.5534 s Remaining CPU time: 90.4466 s c =============================================================================== c | 1090 | 991 1647 549396 | 5000 1090 726 | 0.000 % | c =============================================================================== c New solution: 3879 c Elapsed CPU time: 89.9063 s Remaining CPU time: 90.0937 s c =============================================================================== c | 1094 | 991 1648 550246 | 5000 1094 726 | 0.000 % | c =============================================================================== c New solution: 3878 c Elapsed CPU time: 90.3543 s Remaining CPU time: 89.6457 s c =============================================================================== c | 1136 | 991 1649 551096 | 5000 1136 726 | 0.000 % | c =============================================================================== c New solution: 3877 c Elapsed CPU time: 90.8272 s Remaining CPU time: 89.1728 s c =============================================================================== c | 1156 | 991 1650 551946 | 5000 1156 726 | 0.000 % | c =============================================================================== c New solution: 3876 c Elapsed CPU time: 91.2471 s Remaining CPU time: 88.7529 s c =============================================================================== c | 1179 | 991 1651 552796 | 5000 1179 725 | 0.000 % | c =============================================================================== c New solution: 3875 c Elapsed CPU time: 91.6681 s Remaining CPU time: 88.3319 s c =============================================================================== c | 1210 | 991 1652 553646 | 5000 1210 725 | 0.000 % | c =============================================================================== c New solution: 3874 c Elapsed CPU time: 92.087 s Remaining CPU time: 87.913 s c =============================================================================== c | 1213 | 991 1653 554496 | 5000 1213 725 | 0.000 % | c =============================================================================== c New solution: 3873 c Elapsed CPU time: 92.4649 s Remaining CPU time: 87.5351 s c =============================================================================== c | 1222 | 991 1654 555346 | 5000 1222 725 | 0.000 % | c =============================================================================== c New solution: 3872 c Elapsed CPU time: 92.9279 s Remaining CPU time: 87.0721 s c =============================================================================== c | 1267 | 991 1655 556196 | 5000 1267 724 | 0.000 % | c =============================================================================== c New solution: 3871 c Elapsed CPU time: 93.2588 s Remaining CPU time: 86.7412 s c =============================================================================== c | 1271 | 991 1656 557046 | 5000 1271 724 | 0.000 % | c =============================================================================== c New solution: 3870 c Elapsed CPU time: 93.5928 s Remaining CPU time: 86.4072 s c =============================================================================== c | 1273 | 991 1657 557896 | 5000 1273 724 | 0.000 % | c =============================================================================== c New solution: 3869 c Elapsed CPU time: 93.9687 s Remaining CPU time: 86.0313 s c =============================================================================== c | 1277 | 991 1658 558746 | 5000 1277 724 | 0.000 % | c =============================================================================== c New solution: 3868 c Elapsed CPU time: 94.3237 s Remaining CPU time: 85.6763 s c =============================================================================== c | 1279 | 991 1659 559596 | 5000 1279 724 | 0.000 % | c =============================================================================== c New solution: 3867 c Elapsed CPU time: 94.6956 s Remaining CPU time: 85.3044 s c =============================================================================== c | 1286 | 991 1660 560446 | 5000 1286 724 | 0.000 % | c =============================================================================== c New solution: 3866 c Elapsed CPU time: 95.1695 s Remaining CPU time: 84.8305 s c =============================================================================== c | 1311 | 991 1661 561296 | 5000 1311 724 | 0.000 % | c =============================================================================== c New solution: 3865 c Elapsed CPU time: 95.6815 s Remaining CPU time: 84.3185 s c =============================================================================== c | 1333 | 991 1662 562146 | 5000 1333 724 | 0.000 % | c =============================================================================== c New solution: 3864 c Elapsed CPU time: 96.1084 s Remaining CPU time: 83.8916 s c =============================================================================== c | 1343 | 991 1663 562996 | 5000 1343 724 | 0.000 % | c =============================================================================== c New solution: 3863 c Elapsed CPU time: 96.6673 s Remaining CPU time: 83.3327 s c =============================================================================== c | 1372 | 991 1664 563846 | 5000 1372 723 | 0.000 % | c =============================================================================== c New solution: 3862 c Elapsed CPU time: 97.0782 s Remaining CPU time: 82.9218 s c =============================================================================== c | 1385 | 991 1665 564696 | 5000 1385 723 | 0.000 % | c =============================================================================== c New solution: 3861 c Elapsed CPU time: 97.6402 s Remaining CPU time: 82.3598 s c =============================================================================== c | 1437 | 991 1666 565546 | 5000 1437 723 | 0.000 % | c =============================================================================== c New solution: 3860 c Elapsed CPU time: 97.9841 s Remaining CPU time: 82.0159 s c =============================================================================== c | 1440 | 991 1667 566396 | 5000 1440 723 | 0.000 % | c =============================================================================== c New solution: 3859 c Elapsed CPU time: 98.366 s Remaining CPU time: 81.634 s c =============================================================================== c | 1452 | 991 1668 567246 | 5000 1452 723 | 0.000 % | c =============================================================================== c New solution: 3858 c Elapsed CPU time: 98.691 s Remaining CPU time: 81.309 s c =============================================================================== c | 1453 | 991 1669 568096 | 5000 1453 722 | 0.000 % | c =============================================================================== c New solution: 3857 c Elapsed CPU time: 99.0619 s Remaining CPU time: 80.9381 s c =============================================================================== c | 1463 | 991 1670 568946 | 5000 1463 722 | 0.000 % | c =============================================================================== c New solution: 3856 c Elapsed CPU time: 99.4379 s Remaining CPU time: 80.5621 s c =============================================================================== c | 1467 | 991 1671 569796 | 5000 1467 722 | 0.000 % | c =============================================================================== c New solution: 3855 c Elapsed CPU time: 99.8298 s Remaining CPU time: 80.1702 s c =============================================================================== c | 1478 | 991 1672 570646 | 5000 1478 722 | 0.000 % | c =============================================================================== c New solution: 3854 c Elapsed CPU time: 100.171 s Remaining CPU time: 79.8292 s c =============================================================================== c | 1479 | 991 1673 571496 | 5000 1479 722 | 0.000 % | c =============================================================================== c New solution: 3853 c Elapsed CPU time: 100.552 s Remaining CPU time: 79.4483 s c =============================================================================== c | 1483 | 991 1674 572346 | 5000 1483 722 | 0.000 % | c =============================================================================== c New solution: 3852 c Elapsed CPU time: 100.901 s Remaining CPU time: 79.0993 s c =============================================================================== c | 1491 | 991 1675 573196 | 5000 1491 722 | 0.000 % | c =============================================================================== c New solution: 3851 c Elapsed CPU time: 101.222 s Remaining CPU time: 78.7784 s c =============================================================================== c | 1491 | 991 1676 574046 | 5000 1491 722 | 0.000 % | c =============================================================================== c New solution: 3850 c Elapsed CPU time: 101.655 s Remaining CPU time: 78.3455 s c =============================================================================== c | 1502 | 991 1677 574896 | 5000 1502 722 | 0.000 % | c =============================================================================== c New solution: 3849 c Elapsed CPU time: 102.264 s Remaining CPU time: 77.7355 s c =============================================================================== c | 1553 | 991 1678 575746 | 5000 1553 721 | 0.000 % | c =============================================================================== c New solution: 3848 c Elapsed CPU time: 102.837 s Remaining CPU time: 77.1626 s c =============================================================================== c | 1586 | 991 1679 576596 | 5000 1586 720 | 0.000 % | c =============================================================================== c New solution: 3847 c Elapsed CPU time: 103.178 s Remaining CPU time: 76.8217 s c =============================================================================== c | 1588 | 991 1680 577446 | 5000 1588 720 | 0.000 % | c =============================================================================== c New solution: 3846 c Elapsed CPU time: 103.558 s Remaining CPU time: 76.4417 s c =============================================================================== c | 1593 | 991 1681 578296 | 5000 1593 720 | 0.000 % | c =============================================================================== c New solution: 3845 c Elapsed CPU time: 103.97 s Remaining CPU time: 76.0298 s c =============================================================================== c | 1600 | 991 1682 579146 | 5000 1600 720 | 0.000 % | c =============================================================================== c New solution: 3844 c Elapsed CPU time: 104.342 s Remaining CPU time: 75.6579 s c =============================================================================== c | 1604 | 991 1683 579996 | 5000 1604 720 | 0.000 % | c =============================================================================== c New solution: 3843 c Elapsed CPU time: 104.842 s Remaining CPU time: 75.1579 s c =============================================================================== c | 1622 | 991 1684 580846 | 5000 1622 720 | 0.000 % | c =============================================================================== c New solution: 3842 c Elapsed CPU time: 105.209 s Remaining CPU time: 74.791 s c =============================================================================== c | 1626 | 991 1685 581696 | 5000 1626 720 | 0.000 % | c =============================================================================== c New solution: 3841 c Elapsed CPU time: 105.549 s Remaining CPU time: 74.451 s c =============================================================================== c | 1627 | 991 1686 582546 | 5000 1627 720 | 0.000 % | c =============================================================================== c New solution: 3840 c Elapsed CPU time: 105.875 s Remaining CPU time: 74.1251 s c =============================================================================== c | 1627 | 991 1687 583396 | 5000 1627 720 | 0.000 % | c =============================================================================== c New solution: 3839 c Elapsed CPU time: 106.236 s Remaining CPU time: 73.7642 s c =============================================================================== c | 1629 | 991 1688 584246 | 5000 1629 720 | 0.000 % | c =============================================================================== c New solution: 3838 c Elapsed CPU time: 106.601 s Remaining CPU time: 73.3992 s c =============================================================================== c | 1634 | 991 1689 585096 | 5000 1634 720 | 0.000 % | c =============================================================================== c New solution: 3837 c Elapsed CPU time: 106.999 s Remaining CPU time: 73.0013 s c =============================================================================== c | 1649 | 991 1690 585946 | 5000 1649 720 | 0.000 % | c =============================================================================== c New solution: 3836 c Elapsed CPU time: 107.364 s Remaining CPU time: 72.6363 s c =============================================================================== c | 1656 | 991 1691 586796 | 5000 1656 720 | 0.000 % | c =============================================================================== c New solution: 3835 c Elapsed CPU time: 107.759 s Remaining CPU time: 72.2414 s c =============================================================================== c | 1665 | 991 1692 587646 | 5000 1665 719 | 0.000 % | c =============================================================================== c New solution: 3834 c Elapsed CPU time: 108.103 s Remaining CPU time: 71.8974 s c =============================================================================== c | 1665 | 991 1693 588496 | 5000 1665 719 | 0.000 % | c =============================================================================== c New solution: 3833 c Elapsed CPU time: 108.452 s Remaining CPU time: 71.5485 s c =============================================================================== c | 1667 | 991 1694 589346 | 5000 1667 719 | 0.000 % | c =============================================================================== c New solution: 3832 c Elapsed CPU time: 108.777 s Remaining CPU time: 71.2225 s c =============================================================================== c | 1667 | 991 1695 590196 | 5000 1667 719 | 0.000 % | c =============================================================================== c New solution: 3831 c Elapsed CPU time: 109.152 s Remaining CPU time: 70.8476 s c =============================================================================== c | 1670 | 991 1696 591046 | 5000 1670 719 | 0.000 % | c =============================================================================== c New solution: 3830 c Elapsed CPU time: 109.5 s Remaining CPU time: 70.4996 s c =============================================================================== c | 1671 | 991 1697 591896 | 5000 1671 719 | 0.000 % | c =============================================================================== c New solution: 3829 c Elapsed CPU time: 109.858 s Remaining CPU time: 70.1417 s c =============================================================================== c | 1673 | 991 1698 592746 | 5000 1673 719 | 0.000 % | c =============================================================================== c New solution: 3828 c Elapsed CPU time: 110.207 s Remaining CPU time: 69.7928 s c =============================================================================== c | 1674 | 991 1699 593596 | 5000 1674 719 | 0.000 % | c =============================================================================== c New solution: 3827 c Elapsed CPU time: 110.564 s Remaining CPU time: 69.4358 s c =============================================================================== c | 1675 | 991 1700 594446 | 5000 1675 719 | 0.000 % | c =============================================================================== c New solution: 3826 c Elapsed CPU time: 110.918 s Remaining CPU time: 69.0819 s c =============================================================================== c | 1677 | 991 1701 595296 | 5000 1677 719 | 0.000 % | c =============================================================================== c New solution: 3825 c Elapsed CPU time: 111.383 s Remaining CPU time: 68.6169 s c =============================================================================== c | 1714 | 991 1702 596146 | 5000 1714 719 | 0.000 % | c =============================================================================== c New solution: 3824 c Elapsed CPU time: 111.732 s Remaining CPU time: 68.268 s c =============================================================================== c | 1715 | 991 1703 596996 | 5000 1715 719 | 0.000 % | c =============================================================================== c New solution: 3823 c Elapsed CPU time: 112.166 s Remaining CPU time: 67.8341 s c =============================================================================== c | 1727 | 991 1704 597846 | 5000 1727 719 | 0.000 % | c =============================================================================== c New solution: 3822 c Elapsed CPU time: 112.628 s Remaining CPU time: 67.3721 s c =============================================================================== c | 1741 | 991 1705 598696 | 5000 1741 719 | 0.000 % | c =============================================================================== c New solution: 3821 c Elapsed CPU time: 112.966 s Remaining CPU time: 67.0342 s c =============================================================================== c | 1741 | 991 1706 599546 | 5000 1741 719 | 0.000 % | c =============================================================================== c New solution: 3820 c Elapsed CPU time: 113.332 s Remaining CPU time: 66.6682 s c =============================================================================== c | 1742 | 991 1707 600396 | 5000 1742 719 | 0.000 % | c =============================================================================== c New solution: 3819 c Elapsed CPU time: 113.709 s Remaining CPU time: 66.2913 s c =============================================================================== c | 1744 | 991 1708 601246 | 5000 1744 719 | 0.000 % | c =============================================================================== c New solution: 3818 c Elapsed CPU time: 114.051 s Remaining CPU time: 65.9493 s c =============================================================================== c | 1744 | 991 1709 602096 | 5000 1744 719 | 0.000 % | c =============================================================================== c New solution: 3817 c Elapsed CPU time: 114.391 s Remaining CPU time: 65.6094 s c =============================================================================== c | 1744 | 991 1710 602946 | 5000 1744 719 | 0.000 % | c =============================================================================== c New solution: 3816 c Elapsed CPU time: 114.729 s Remaining CPU time: 65.2714 s c =============================================================================== c | 1744 | 991 1711 603796 | 5000 1744 719 | 0.000 % | c =============================================================================== c New solution: 3815 c Elapsed CPU time: 115.054 s Remaining CPU time: 64.9465 s c =============================================================================== c | 1744 | 991 1712 604646 | 5000 1744 719 | 0.000 % | c =============================================================================== c New solution: 3814 c Elapsed CPU time: 115.393 s Remaining CPU time: 64.6065 s c =============================================================================== c | 1744 | 991 1713 605496 | 5000 1744 719 | 0.000 % | c =============================================================================== c New solution: 3813 c Elapsed CPU time: 115.788 s Remaining CPU time: 64.2116 s c =============================================================================== c | 1749 | 991 1714 606346 | 5000 1749 719 | 0.000 % | c =============================================================================== c New solution: 3812 c Elapsed CPU time: 116.132 s Remaining CPU time: 63.8677 s c =============================================================================== c | 1749 | 991 1715 607196 | 5000 1749 719 | 0.000 % | c =============================================================================== c New solution: 3811 c Elapsed CPU time: 116.512 s Remaining CPU time: 63.4877 s c =============================================================================== c | 1753 | 991 1716 608046 | 5000 1753 718 | 0.000 % | c =============================================================================== c New solution: 3810 c Elapsed CPU time: 116.924 s Remaining CPU time: 63.0758 s c =============================================================================== c | 1757 | 991 1717 608896 | 5000 1757 718 | 0.000 % | c =============================================================================== c New solution: 3809 c Elapsed CPU time: 117.278 s Remaining CPU time: 62.7218 s c =============================================================================== c | 1758 | 991 1718 609746 | 5000 1758 718 | 0.000 % | c =============================================================================== c New solution: 3808 c Elapsed CPU time: 117.64 s Remaining CPU time: 62.3599 s c =============================================================================== c | 1760 | 991 1719 610596 | 5000 1760 718 | 0.000 % | c =============================================================================== c New solution: 3807 c Elapsed CPU time: 118.054 s Remaining CPU time: 61.9459 s c =============================================================================== c | 1769 | 991 1720 611446 | 5000 1769 718 | 0.000 % | c =============================================================================== c New solution: 3806 c Elapsed CPU time: 118.404 s Remaining CPU time: 61.596 s c =============================================================================== c | 1769 | 991 1721 612296 | 5000 1769 718 | 0.000 % | c =============================================================================== c New solution: 3805 c Elapsed CPU time: 118.755 s Remaining CPU time: 61.2451 s c =============================================================================== c | 1769 | 991 1722 613146 | 5000 1769 718 | 0.000 % | c =============================================================================== c New solution: 3804 c Elapsed CPU time: 119.127 s Remaining CPU time: 60.8731 s c =============================================================================== c | 1770 | 991 1723 613996 | 5000 1770 718 | 0.000 % | c =============================================================================== c New solution: 3803 c Elapsed CPU time: 119.489 s Remaining CPU time: 60.5112 s c =============================================================================== c | 1772 | 991 1724 614846 | 5000 1772 718 | 0.000 % | c =============================================================================== c New solution: 3802 c Elapsed CPU time: 119.881 s Remaining CPU time: 60.1192 s c =============================================================================== c | 1777 | 991 1725 615696 | 5000 1777 718 | 0.000 % | c =============================================================================== c New solution: 3801 c Elapsed CPU time: 120.246 s Remaining CPU time: 59.7543 s c =============================================================================== c | 1778 | 991 1726 616546 | 5000 1778 718 | 0.000 % | c =============================================================================== c New solution: 3800 c Elapsed CPU time: 120.716 s Remaining CPU time: 59.2844 s c =============================================================================== c | 1835 | 991 1727 617396 | 5000 1835 718 | 0.000 % | c =============================================================================== c New solution: 3799 c Elapsed CPU time: 121.066 s Remaining CPU time: 58.9344 s c =============================================================================== c | 1835 | 991 1728 618246 | 5000 1835 718 | 0.000 % | c =============================================================================== c New solution: 3798 c Elapsed CPU time: 121.423 s Remaining CPU time: 58.5775 s c =============================================================================== c | 1835 | 991 1729 619096 | 5000 1835 718 | 0.000 % | c =============================================================================== c New solution: 3797 c Elapsed CPU time: 122.162 s Remaining CPU time: 57.8376 s c =============================================================================== c | 1922 | 991 1730 619946 | 5000 1922 717 | 0.000 % | c =============================================================================== c New solution: 3796 c Elapsed CPU time: 122.833 s Remaining CPU time: 57.1667 s c =============================================================================== c | 1957 | 991 1731 620796 | 5000 1957 717 | 0.000 % | c =============================================================================== c New solution: 3795 c Elapsed CPU time: 123.43 s Remaining CPU time: 56.5698 s c =============================================================================== c | 1987 | 991 1732 621646 | 5000 1987 716 | 0.000 % | c | 2088 | 991 1732 621646 | 5500 2088 715 | 0.900 % | c =============================================================================== c New solution: 3794 c Elapsed CPU time: 124.813 s Remaining CPU time: 55.187 s c =============================================================================== c | 2146 | 991 1733 622496 | 5000 2146 715 | 0.900 % | c =============================================================================== c New solution: 3793 c Elapsed CPU time: 125.389 s Remaining CPU time: 54.6111 s c =============================================================================== c | 2194 | 991 1734 623346 | 5000 2194 715 | 0.900 % | c | 2294 | 991 1734 623346 | 5500 2294 714 | 0.900 % | c =============================================================================== c New solution: 3792 c Elapsed CPU time: 126.957 s Remaining CPU time: 53.0433 s c =============================================================================== c | 2385 | 991 1735 624196 | 5000 2385 713 | 0.900 % | c =============================================================================== c New solution: 3791 c Elapsed CPU time: 127.579 s Remaining CPU time: 52.4214 s c =============================================================================== c | 2412 | 991 1736 625046 | 5000 2412 713 | 0.900 % | c =============================================================================== c New solution: 3790 c Elapsed CPU time: 128.345 s Remaining CPU time: 51.6545 s c =============================================================================== c | 2471 | 991 1737 625896 | 5000 2471 713 | 0.900 % | c =============================================================================== c New solution: 3789 c Elapsed CPU time: 129.005 s Remaining CPU time: 50.9946 s c =============================================================================== c | 2504 | 991 1738 626746 | 5000 2504 712 | 0.900 % | c =============================================================================== c New solution: 3788 c Elapsed CPU time: 129.43 s Remaining CPU time: 50.5697 s c =============================================================================== c | 2517 | 991 1739 627596 | 5000 2517 712 | 0.900 % | c =============================================================================== c New solution: 3787 c Elapsed CPU time: 129.946 s Remaining CPU time: 50.0538 s c =============================================================================== c | 2544 | 991 1740 628446 | 5000 2544 712 | 0.900 % | c =============================================================================== c New solution: 3786 c Elapsed CPU time: 130.318 s Remaining CPU time: 49.6818 s c =============================================================================== c | 2546 | 991 1741 629296 | 5000 2546 712 | 0.900 % | c | 2647 | 991 1741 629296 | 5500 2647 712 | 0.900 % | c =============================================================================== c New solution: 3785 c Elapsed CPU time: 132.15 s Remaining CPU time: 47.8501 s c =============================================================================== c | 2704 | 991 1742 630146 | 5000 2704 711 | 0.900 % | c =============================================================================== c New solution: 3784 c Elapsed CPU time: 132.816 s Remaining CPU time: 47.1842 s c =============================================================================== c | 2742 | 991 1743 630996 | 5000 2742 711 | 0.900 % | c =============================================================================== c New solution: 3783 c Elapsed CPU time: 133.396 s Remaining CPU time: 46.6043 s c =============================================================================== c | 2788 | 991 1744 631846 | 5000 2788 711 | 0.900 % | c =============================================================================== c New solution: 3782 c Elapsed CPU time: 133.776 s Remaining CPU time: 46.2243 s c =============================================================================== c | 2792 | 991 1745 632696 | 5000 2792 711 | 0.900 % | c =============================================================================== c New solution: 3781 c Elapsed CPU time: 134.329 s Remaining CPU time: 45.6714 s c =============================================================================== c | 2829 | 991 1746 633546 | 5000 2829 711 | 0.900 % | c =============================================================================== c New solution: 3780 c Elapsed CPU time: 134.965 s Remaining CPU time: 45.0345 s c =============================================================================== c | 2867 | 991 1747 634396 | 5000 2867 710 | 0.900 % | c =============================================================================== c New solution: 3779 c Elapsed CPU time: 135.406 s Remaining CPU time: 44.5936 s c =============================================================================== c | 2875 | 991 1748 635246 | 5000 2875 710 | 0.900 % | c =============================================================================== c New solution: 3778 c Elapsed CPU time: 135.773 s Remaining CPU time: 44.2266 s c =============================================================================== c | 2878 | 991 1749 636096 | 5000 2878 710 | 0.900 % | c =============================================================================== c New solution: 3777 c Elapsed CPU time: 136.28 s Remaining CPU time: 43.7197 s c =============================================================================== c | 2903 | 991 1750 636946 | 5000 2903 710 | 0.900 % | c =============================================================================== c New solution: 3776 c Elapsed CPU time: 136.689 s Remaining CPU time: 43.3108 s c =============================================================================== c | 2917 | 991 1751 637796 | 5000 2917 710 | 0.900 % | c =============================================================================== c New solution: 3775 c Elapsed CPU time: 137.077 s Remaining CPU time: 42.9228 s c =============================================================================== c | 2922 | 991 1752 638646 | 5000 2922 710 | 0.900 % | c =============================================================================== c New solution: 3774 c Elapsed CPU time: 137.836 s Remaining CPU time: 42.164 s c =============================================================================== c | 2992 | 991 1753 639496 | 5000 2992 710 | 0.900 % | c =============================================================================== c New solution: 3773 c Elapsed CPU time: 138.519 s Remaining CPU time: 41.4811 s c =============================================================================== c | 3048 | 991 1754 640346 | 5000 3048 709 | 0.900 % | c =============================================================================== c New solution: 3772 c Elapsed CPU time: 138.987 s Remaining CPU time: 41.0131 s c =============================================================================== c | 3061 | 991 1755 641196 | 5000 3061 709 | 0.900 % | c =============================================================================== c New solution: 3771 c Elapsed CPU time: 139.657 s Remaining CPU time: 40.3432 s c =============================================================================== c | 3125 | 991 1756 642046 | 5000 3125 709 | 0.900 % | c =============================================================================== c New solution: 3770 c Elapsed CPU time: 140.324 s Remaining CPU time: 39.6763 s c =============================================================================== c | 3194 | 991 1757 642896 | 5000 3194 709 | 0.900 % | c =============================================================================== c New solution: 3769 c Elapsed CPU time: 140.868 s Remaining CPU time: 39.1324 s c =============================================================================== c | 3231 | 991 1758 643746 | 5000 3231 708 | 0.900 % | c =============================================================================== c New solution: 3768 c Elapsed CPU time: 141.676 s Remaining CPU time: 38.3235 s c =============================================================================== c | 3295 | 991 1759 644596 | 5000 3295 708 | 0.900 % | c =============================================================================== c New solution: 3767 c Elapsed CPU time: 142.248 s Remaining CPU time: 37.7516 s c =============================================================================== c | 3342 | 991 1760 645446 | 5000 3342 708 | 0.900 % | c =============================================================================== c New solution: 3766 c Elapsed CPU time: 142.642 s Remaining CPU time: 37.3577 s c =============================================================================== c | 3348 | 991 1761 646296 | 5000 3348 708 | 0.900 % | c =============================================================================== c New solution: 3765 c Elapsed CPU time: 143.12 s Remaining CPU time: 36.8798 s c =============================================================================== c | 3371 | 991 1762 647146 | 5000 3371 708 | 0.900 % | c =============================================================================== c New solution: 3764 c Elapsed CPU time: 144.024 s Remaining CPU time: 35.9759 s c =============================================================================== c | 3456 | 991 1763 647996 | 5000 3456 707 | 0.900 % | c =============================================================================== c New solution: 3763 c Elapsed CPU time: 144.84 s Remaining CPU time: 35.16 s c =============================================================================== c | 3527 | 991 1764 648846 | 5000 3527 707 | 0.900 % | c =============================================================================== c New solution: 3762 c Elapsed CPU time: 145.422 s Remaining CPU time: 34.5781 s c =============================================================================== c | 3568 | 991 1765 649696 | 5000 3568 707 | 0.900 % | c =============================================================================== c New solution: 3761 c Elapsed CPU time: 145.849 s Remaining CPU time: 34.1512 s c =============================================================================== c | 3578 | 991 1766 650546 | 5000 3578 707 | 0.900 % | c =============================================================================== c New solution: 3760 c Elapsed CPU time: 146.424 s Remaining CPU time: 33.5763 s c =============================================================================== c | 3612 | 991 1767 651396 | 5000 3612 707 | 0.900 % | c =============================================================================== c New solution: 3759 c Elapsed CPU time: 147.077 s Remaining CPU time: 32.9234 s c =============================================================================== c | 3680 | 991 1768 652246 | 5000 3680 706 | 0.900 % | c =============================================================================== c New solution: 3758 c Elapsed CPU time: 147.711 s Remaining CPU time: 32.2895 s c =============================================================================== c | 3709 | 991 1769 653096 | 5000 3709 706 | 0.900 % | c =============================================================================== c New solution: 3757 c Elapsed CPU time: 148.254 s Remaining CPU time: 31.7455 s c =============================================================================== c | 3734 | 991 1770 653946 | 5000 3734 706 | 0.900 % | c =============================================================================== c New solution: 3756 c Elapsed CPU time: 148.731 s Remaining CPU time: 31.2686 s c =============================================================================== c | 3754 | 991 1771 654796 | 5000 3754 706 | 0.900 % | c =============================================================================== c New solution: 3755 c Elapsed CPU time: 149.142 s Remaining CPU time: 30.8577 s c =============================================================================== c | 3758 | 991 1772 655646 | 5000 3758 706 | 0.900 % | c =============================================================================== c New solution: 3754 c Elapsed CPU time: 149.542 s Remaining CPU time: 30.4577 s c =============================================================================== c | 3766 | 991 1773 656496 | 5000 3766 706 | 0.900 % | c =============================================================================== c New solution: 3753 c Elapsed CPU time: 149.933 s Remaining CPU time: 30.0668 s c =============================================================================== c | 3768 | 991 1774 657346 | 5000 3768 706 | 0.900 % | c =============================================================================== c New solution: 3752 c Elapsed CPU time: 150.452 s Remaining CPU time: 29.5479 s c =============================================================================== c | 3788 | 991 1775 658196 | 5000 3788 706 | 0.900 % | c =============================================================================== c New solution: 3751 c Elapsed CPU time: 150.831 s Remaining CPU time: 29.1689 s c =============================================================================== c | 3790 | 991 1776 659046 | 5000 3790 706 | 0.900 % | c | 3890 | 991 1776 659046 | 5500 3890 706 | 0.900 % | c =============================================================================== c New solution: 3750 c Elapsed CPU time: 152.299 s Remaining CPU time: 27.7012 s c =============================================================================== c | 3941 | 991 1777 659896 | 5000 3941 705 | 0.900 % | c =============================================================================== c New solution: 3749 c Elapsed CPU time: 153.007 s Remaining CPU time: 26.9933 s c =============================================================================== c | 3981 | 991 1778 660746 | 5000 3981 705 | 0.900 % | c =============================================================================== c New solution: 3748 c Elapsed CPU time: 153.564 s Remaining CPU time: 26.4363 s c =============================================================================== c | 4011 | 991 1779 661596 | 5000 4011 705 | 0.900 % | c =============================================================================== c New solution: 3747 c Elapsed CPU time: 153.95 s Remaining CPU time: 26.0504 s c =============================================================================== c | 4013 | 991 1780 662446 | 5000 4013 705 | 0.900 % | c =============================================================================== c New solution: 3746 c Elapsed CPU time: 154.424 s Remaining CPU time: 25.5765 s c =============================================================================== c | 4028 | 991 1781 663296 | 5000 4028 705 | 0.900 % | c =============================================================================== c New solution: 3745 c Elapsed CPU time: 154.822 s Remaining CPU time: 25.1775 s c =============================================================================== c | 4036 | 991 1782 664146 | 5000 4036 705 | 0.900 % | c =============================================================================== c New solution: 3744 c Elapsed CPU time: 155.305 s Remaining CPU time: 24.6946 s c =============================================================================== c | 4052 | 991 1783 664996 | 5000 4052 705 | 0.900 % | c =============================================================================== c New solution: 3743 c Elapsed CPU time: 155.7 s Remaining CPU time: 24.2997 s c =============================================================================== c | 4054 | 991 1784 665846 | 5000 4054 705 | 0.900 % | c =============================================================================== c New solution: 3742 c Elapsed CPU time: 156.505 s Remaining CPU time: 23.4948 s c =============================================================================== c | 4127 | 991 1785 666696 | 5000 4127 704 | 0.900 % | c =============================================================================== c New solution: 3741 c Elapsed CPU time: 157.351 s Remaining CPU time: 22.6489 s c =============================================================================== c | 4194 | 991 1786 667546 | 5000 4194 704 | 0.900 % | c =============================================================================== c New solution: 3740 c Elapsed CPU time: 158.148 s Remaining CPU time: 21.852 s c =============================================================================== c | 4261 | 991 1787 668396 | 5000 4261 704 | 0.900 % | c | 4362 | 991 1787 668396 | 5500 4362 703 | 0.900 % | c =============================================================================== c New solution: 3739 c Elapsed CPU time: 159.355 s Remaining CPU time: 20.6452 s c =============================================================================== c | 4385 | 991 1788 669246 | 5000 4385 703 | 0.900 % | c =============================================================================== c New solution: 3738 c Elapsed CPU time: 159.92 s Remaining CPU time: 20.0803 s c =============================================================================== c | 4411 | 991 1789 670096 | 5000 4411 703 | 0.900 % | c =============================================================================== c New solution: 3737 c Elapsed CPU time: 160.645 s Remaining CPU time: 19.3554 s c =============================================================================== c | 4484 | 991 1790 670946 | 5000 4484 703 | 0.900 % | c =============================================================================== c New solution: 3736 c Elapsed CPU time: 161.544 s Remaining CPU time: 18.4556 s c =============================================================================== c | 4550 | 991 1791 671796 | 5000 4550 703 | 0.900 % | c =============================================================================== c New solution: 3735 c Elapsed CPU time: 162.356 s Remaining CPU time: 17.6437 s c =============================================================================== c | 4628 | 991 1792 672646 | 5000 4628 702 | 0.900 % | c | 4728 | 991 1792 672646 | 5500 4728 702 | 0.900 % | c =============================================================================== c New solution: 3734 c Elapsed CPU time: 163.566 s Remaining CPU time: 16.4339 s c =============================================================================== c | 4748 | 991 1793 673496 | 5000 4748 702 | 0.900 % | c =============================================================================== c New solution: 3733 c Elapsed CPU time: 164.281 s Remaining CPU time: 15.719 s c =============================================================================== c | 4799 | 991 1794 674346 | 5000 4799 702 | 0.900 % | c =============================================================================== c New solution: 3732 c Elapsed CPU time: 164.865 s Remaining CPU time: 15.1351 s c =============================================================================== c | 4837 | 991 1795 675196 | 5000 4837 702 | 0.900 % | c =============================================================================== c New solution: 3731 c Elapsed CPU time: 165.683 s Remaining CPU time: 14.3172 s c =============================================================================== c | 4880 | 991 1796 676046 | 5000 4880 702 | 0.900 % | c | 4980 | 991 1796 676046 | 5500 4980 701 | 0.900 % | c =============================================================================== c New solution: 3730 c Elapsed CPU time: 167.559 s Remaining CPU time: 12.4415 s c =============================================================================== c | 5085 | 991 1797 676896 | 5000 5085 701 | 0.900 % | c | 5185 | 991 1797 676896 | 5500 2643 686 | 0.900 % | c | 5335 | 991 1797 676896 | 6050 2793 686 | 0.900 % | c =============================================================================== c New solution: 3729 c Elapsed CPU time: 170.258 s Remaining CPU time: 9.74188 s c =============================================================================== c | 5364 | 991 1798 677746 | 5000 2822 686 | 0.900 % | c =============================================================================== c New solution: 3728 c Elapsed CPU time: 170.725 s Remaining CPU time: 9.27496 s c =============================================================================== c | 5381 | 991 1799 678596 | 5000 2839 686 | 0.900 % | c =============================================================================== c New solution: 3727 c Elapsed CPU time: 171.586 s Remaining CPU time: 8.41409 s c =============================================================================== c | 5462 | 991 1800 679446 | 5000 2920 686 | 0.900 % | c =============================================================================== c New solution: 3726 c Elapsed CPU time: 172.375 s Remaining CPU time: 7.6252 s c =============================================================================== c | 5540 | 991 1801 680296 | 5000 2998 686 | 0.900 % | c =============================================================================== c New solution: 3725 c Elapsed CPU time: 173.539 s Remaining CPU time: 6.46138 s c =============================================================================== c | 5626 | 991 1802 681146 | 5000 3084 686 | 0.900 % | c =============================================================================== c New solution: 3724 c Elapsed CPU time: 173.922 s Remaining CPU time: 6.07844 s c =============================================================================== c | 5627 | 991 1803 681996 | 5000 3085 686 | 0.900 % | c =============================================================================== c New solution: 3723 c Elapsed CPU time: 174.609 s Remaining CPU time: 5.39055 s c =============================================================================== c | 5664 | 991 1804 682846 | 5000 3122 686 | 0.900 % | c =============================================================================== c New solution: 3722 c Elapsed CPU time: 175.3 s Remaining CPU time: 4.69965 s c =============================================================================== c | 5701 | 991 1805 683696 | 5000 3159 686 | 0.900 % | c =============================================================================== c New solution: 3721 c Elapsed CPU time: 175.779 s Remaining CPU time: 4.22072 s c =============================================================================== c | 5710 | 991 1806 684546 | 5000 3168 686 | 0.900 % | c =============================================================================== c New solution: 3720 c Elapsed CPU time: 176.237 s Remaining CPU time: 3.76279 s c =============================================================================== c | 5719 | 991 1807 685396 | 5000 3177 686 | 0.900 % | c =============================================================================== c New solution: 3719 c Elapsed CPU time: 176.704 s Remaining CPU time: 3.29586 s c =============================================================================== c | 5736 | 991 1808 686246 | 5000 3194 686 | 0.900 % | c =============================================================================== c New solution: 3718 c Elapsed CPU time: 177.228 s Remaining CPU time: 2.77194 s c =============================================================================== c | 5762 | 991 1809 687096 | 5000 3220 686 | 0.900 % | c =============================================================================== c New solution: 3717 c Elapsed CPU time: 177.714 s Remaining CPU time: 2.28602 s c =============================================================================== c | 5780 | 991 1810 687946 | 5000 3238 686 | 0.900 % | c =============================================================================== c New solution: 3716 c Elapsed CPU time: 178.126 s Remaining CPU time: 1.87408 s c =============================================================================== c | 5784 | 991 1811 688796 | 5000 3242 686 | 0.900 % | c =============================================================================== c New solution: 3715 c Elapsed CPU time: 178.539 s Remaining CPU time: 1.46114 s c =============================================================================== c | 5785 | 991 1812 689646 | 5000 3243 686 | 0.900 % | c =============================================================================== c New solution: 3714 c Elapsed CPU time: 179.015 s Remaining CPU time: 0.985215 s c =============================================================================== c | 5792 | 991 1813 690496 | 5000 3250 686 | 0.900 % | c =============================================================================== c New solution: 3713 c Elapsed CPU time: 179.869 s Remaining CPU time: 0.131345 s c =============================================================================== c | 5818 | 991 1814 691346 | 5000 3276 686 | 0.900 % | c There are 9 assigned variables. 0 in cost function.