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 | 982 1001 2850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4606 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 982 1002 3700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4603 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 982 1003 4550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4598 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 982 1004 5400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4595 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 982 1005 6250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4594 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 982 1006 7100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4591 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 982 1007 7950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4590 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 982 1008 8800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4587 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 982 1009 9650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4586 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 982 1010 10500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4585 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 0 | 982 1011 11350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4584 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 0 | 982 1012 12200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4583 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 0 | 982 1013 13050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4582 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 0 | 982 1014 13900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4580 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 0 | 982 1015 14750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4578 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 0 | 982 1016 15600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4577 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 0 | 982 1017 16450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4576 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 0 | 982 1018 17300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4574 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s c =============================================================================== c | 0 | 982 1019 18150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4573 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 0 | 982 1020 19000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4572 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 0 | 982 1021 19850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4571 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 0 | 982 1022 20700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4570 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 0 | 982 1023 21550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4568 c Elapsed CPU time: 0.12698 s Remaining CPU time: 179.873 s c =============================================================================== c | 0 | 982 1024 22400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4567 c Elapsed CPU time: 0.133979 s Remaining CPU time: 179.866 s c =============================================================================== c | 0 | 982 1025 23250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4566 c Elapsed CPU time: 0.141978 s Remaining CPU time: 179.858 s c =============================================================================== c | 0 | 982 1026 24100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4563 c Elapsed CPU time: 0.148977 s Remaining CPU time: 179.851 s c =============================================================================== c | 0 | 982 1027 24950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4561 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s c =============================================================================== c | 0 | 982 1028 25800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4558 c Elapsed CPU time: 0.163975 s Remaining CPU time: 179.836 s c =============================================================================== c | 0 | 982 1029 26650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4557 c Elapsed CPU time: 0.171973 s Remaining CPU time: 179.828 s c =============================================================================== c | 0 | 982 1030 27500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4556 c Elapsed CPU time: 0.178972 s Remaining CPU time: 179.821 s c =============================================================================== c | 0 | 982 1031 28350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4555 c Elapsed CPU time: 0.186971 s Remaining CPU time: 179.813 s c =============================================================================== c | 0 | 982 1032 29200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4553 c Elapsed CPU time: 0.19597 s Remaining CPU time: 179.804 s c =============================================================================== c | 0 | 982 1033 30050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4552 c Elapsed CPU time: 0.203968 s Remaining CPU time: 179.796 s c =============================================================================== c | 0 | 982 1034 30900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4550 c Elapsed CPU time: 0.211967 s Remaining CPU time: 179.788 s c =============================================================================== c | 0 | 982 1035 31750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4546 c Elapsed CPU time: 0.220966 s Remaining CPU time: 179.779 s c =============================================================================== c | 0 | 982 1036 32600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4543 c Elapsed CPU time: 0.227965 s Remaining CPU time: 179.772 s c =============================================================================== c | 0 | 982 1037 33450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4542 c Elapsed CPU time: 0.236963 s Remaining CPU time: 179.763 s c =============================================================================== c | 0 | 982 1038 34300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4538 c Elapsed CPU time: 0.245962 s Remaining CPU time: 179.754 s c =============================================================================== c | 0 | 982 1039 35150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4537 c Elapsed CPU time: 0.253961 s Remaining CPU time: 179.746 s c =============================================================================== c | 0 | 982 1040 36000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4534 c Elapsed CPU time: 0.26296 s Remaining CPU time: 179.737 s c =============================================================================== c | 0 | 982 1041 36850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4533 c Elapsed CPU time: 0.273958 s Remaining CPU time: 179.726 s c =============================================================================== c | 0 | 982 1042 37700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4531 c Elapsed CPU time: 0.284956 s Remaining CPU time: 179.715 s c =============================================================================== c | 0 | 982 1043 38550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4530 c Elapsed CPU time: 0.294955 s Remaining CPU time: 179.705 s c =============================================================================== c | 0 | 982 1044 39400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4525 c Elapsed CPU time: 0.304953 s Remaining CPU time: 179.695 s c =============================================================================== c | 0 | 982 1045 40250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4523 c Elapsed CPU time: 0.315951 s Remaining CPU time: 179.684 s c =============================================================================== c | 0 | 982 1046 41100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4521 c Elapsed CPU time: 0.32695 s Remaining CPU time: 179.673 s c =============================================================================== c | 0 | 982 1047 41950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4520 c Elapsed CPU time: 0.339948 s Remaining CPU time: 179.66 s c =============================================================================== c | 0 | 982 1048 42800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4517 c Elapsed CPU time: 0.350946 s Remaining CPU time: 179.649 s c =============================================================================== c | 0 | 982 1049 43650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4516 c Elapsed CPU time: 0.362944 s Remaining CPU time: 179.637 s c =============================================================================== c | 0 | 982 1050 44500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4515 c Elapsed CPU time: 0.374943 s Remaining CPU time: 179.625 s c =============================================================================== c | 0 | 982 1051 45350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4513 c Elapsed CPU time: 0.387941 s Remaining CPU time: 179.612 s c =============================================================================== c | 0 | 982 1052 46200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4512 c Elapsed CPU time: 0.398939 s Remaining CPU time: 179.601 s c =============================================================================== c | 0 | 982 1053 47050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4511 c Elapsed CPU time: 0.410937 s Remaining CPU time: 179.589 s c =============================================================================== c | 0 | 982 1054 47900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4507 c Elapsed CPU time: 0.422935 s Remaining CPU time: 179.577 s c =============================================================================== c | 0 | 982 1055 48750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4505 c Elapsed CPU time: 0.437933 s Remaining CPU time: 179.562 s c =============================================================================== c | 0 | 982 1056 49600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4504 c Elapsed CPU time: 0.451931 s Remaining CPU time: 179.548 s c =============================================================================== c | 0 | 982 1057 50450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4503 c Elapsed CPU time: 0.465929 s Remaining CPU time: 179.534 s c =============================================================================== c | 0 | 982 1058 51300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4502 c Elapsed CPU time: 0.478927 s Remaining CPU time: 179.521 s c =============================================================================== c | 0 | 982 1059 52150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4500 c Elapsed CPU time: 0.492925 s Remaining CPU time: 179.507 s c =============================================================================== c | 0 | 982 1060 53000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4499 c Elapsed CPU time: 0.508922 s Remaining CPU time: 179.491 s c =============================================================================== c | 0 | 982 1061 53850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4495 c Elapsed CPU time: 0.52292 s Remaining CPU time: 179.477 s c =============================================================================== c | 0 | 982 1062 54700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4494 c Elapsed CPU time: 0.538918 s Remaining CPU time: 179.461 s c =============================================================================== c | 0 | 982 1063 55550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4492 c Elapsed CPU time: 0.554915 s Remaining CPU time: 179.445 s c =============================================================================== c | 0 | 982 1064 56400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4491 c Elapsed CPU time: 0.572912 s Remaining CPU time: 179.427 s c =============================================================================== c | 0 | 982 1065 57250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4490 c Elapsed CPU time: 0.59091 s Remaining CPU time: 179.409 s c =============================================================================== c | 0 | 982 1066 58100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4489 c Elapsed CPU time: 0.606907 s Remaining CPU time: 179.393 s c =============================================================================== c | 0 | 982 1067 58950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4488 c Elapsed CPU time: 0.624905 s Remaining CPU time: 179.375 s c =============================================================================== c | 0 | 982 1068 59800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4486 c Elapsed CPU time: 0.642902 s Remaining CPU time: 179.357 s c =============================================================================== c | 0 | 982 1069 60650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4483 c Elapsed CPU time: 0.659899 s Remaining CPU time: 179.34 s c =============================================================================== c | 0 | 982 1070 61500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4482 c Elapsed CPU time: 0.677896 s Remaining CPU time: 179.322 s c =============================================================================== c | 0 | 982 1071 62350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4481 c Elapsed CPU time: 0.696894 s Remaining CPU time: 179.303 s c =============================================================================== c | 0 | 982 1072 63200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4480 c Elapsed CPU time: 0.714891 s Remaining CPU time: 179.285 s c =============================================================================== c | 0 | 982 1073 64050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4478 c Elapsed CPU time: 0.734888 s Remaining CPU time: 179.265 s c =============================================================================== c | 0 | 982 1074 64900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4477 c Elapsed CPU time: 0.755885 s Remaining CPU time: 179.244 s c =============================================================================== c | 0 | 982 1075 65750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4476 c Elapsed CPU time: 0.776881 s Remaining CPU time: 179.223 s c =============================================================================== c | 0 | 982 1076 66600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4473 c Elapsed CPU time: 0.796878 s Remaining CPU time: 179.203 s c =============================================================================== c | 0 | 982 1077 67450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4472 c Elapsed CPU time: 0.818875 s Remaining CPU time: 179.181 s c =============================================================================== c | 0 | 982 1078 68300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4468 c Elapsed CPU time: 0.841872 s Remaining CPU time: 179.158 s c =============================================================================== c | 0 | 982 1079 69150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4467 c Elapsed CPU time: 0.863868 s Remaining CPU time: 179.136 s c =============================================================================== c | 0 | 982 1080 70000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4466 c Elapsed CPU time: 0.887865 s Remaining CPU time: 179.112 s c =============================================================================== c | 0 | 982 1081 70850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4464 c Elapsed CPU time: 0.910861 s Remaining CPU time: 179.089 s c =============================================================================== c | 0 | 982 1082 71700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4463 c Elapsed CPU time: 0.933858 s Remaining CPU time: 179.066 s c =============================================================================== c | 0 | 982 1083 72550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4461 c Elapsed CPU time: 0.958854 s Remaining CPU time: 179.041 s c =============================================================================== c | 0 | 982 1084 73400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4458 c Elapsed CPU time: 0.98185 s Remaining CPU time: 179.018 s c =============================================================================== c | 0 | 982 1085 74250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4455 c Elapsed CPU time: 1.00685 s Remaining CPU time: 178.993 s c =============================================================================== c | 0 | 982 1086 75100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4452 c Elapsed CPU time: 1.03184 s Remaining CPU time: 178.968 s c =============================================================================== c | 0 | 982 1087 75950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4451 c Elapsed CPU time: 1.05784 s Remaining CPU time: 178.942 s c =============================================================================== c | 0 | 982 1088 76800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4449 c Elapsed CPU time: 1.08384 s Remaining CPU time: 178.916 s c =============================================================================== c | 0 | 982 1089 77650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4448 c Elapsed CPU time: 1.11183 s Remaining CPU time: 178.888 s c =============================================================================== c | 0 | 982 1090 78500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4447 c Elapsed CPU time: 1.13983 s Remaining CPU time: 178.86 s c =============================================================================== c | 0 | 982 1091 79350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4445 c Elapsed CPU time: 1.16882 s Remaining CPU time: 178.831 s c =============================================================================== c | 0 | 982 1092 80200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4442 c Elapsed CPU time: 1.19682 s Remaining CPU time: 178.803 s c =============================================================================== c | 0 | 982 1093 81050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4440 c Elapsed CPU time: 1.22281 s Remaining CPU time: 178.777 s c =============================================================================== c | 0 | 982 1094 81900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4435 c Elapsed CPU time: 1.25181 s Remaining CPU time: 178.748 s c =============================================================================== c | 0 | 982 1095 82750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4430 c Elapsed CPU time: 1.2828 s Remaining CPU time: 178.717 s c =============================================================================== c | 0 | 982 1096 83600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4429 c Elapsed CPU time: 1.3138 s Remaining CPU time: 178.686 s c =============================================================================== c | 0 | 982 1097 84450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4428 c Elapsed CPU time: 1.3458 s Remaining CPU time: 178.654 s c =============================================================================== c | 0 | 982 1098 85300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4426 c Elapsed CPU time: 1.37879 s Remaining CPU time: 178.621 s c =============================================================================== c | 0 | 982 1099 86150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4425 c Elapsed CPU time: 1.41078 s Remaining CPU time: 178.589 s c =============================================================================== c | 0 | 982 1100 87000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4424 c Elapsed CPU time: 1.44378 s Remaining CPU time: 178.556 s c =============================================================================== c | 0 | 982 1101 87850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4423 c Elapsed CPU time: 1.47877 s Remaining CPU time: 178.521 s c =============================================================================== c | 0 | 982 1102 88700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4422 c Elapsed CPU time: 1.51277 s Remaining CPU time: 178.487 s c =============================================================================== c | 0 | 982 1103 89550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4421 c Elapsed CPU time: 1.54476 s Remaining CPU time: 178.455 s c =============================================================================== c | 0 | 982 1104 90400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4420 c Elapsed CPU time: 1.57876 s Remaining CPU time: 178.421 s c =============================================================================== c | 0 | 982 1105 91250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4419 c Elapsed CPU time: 1.61375 s Remaining CPU time: 178.386 s c =============================================================================== c | 0 | 982 1106 92100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4418 c Elapsed CPU time: 1.64975 s Remaining CPU time: 178.35 s c =============================================================================== c | 0 | 982 1107 92950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4415 c Elapsed CPU time: 1.68474 s Remaining CPU time: 178.315 s c =============================================================================== c | 0 | 982 1108 93800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4414 c Elapsed CPU time: 1.71774 s Remaining CPU time: 178.282 s c =============================================================================== c | 0 | 982 1109 94650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4412 c Elapsed CPU time: 1.75473 s Remaining CPU time: 178.245 s c =============================================================================== c | 0 | 982 1110 95500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4411 c Elapsed CPU time: 1.79073 s Remaining CPU time: 178.209 s c =============================================================================== c | 0 | 982 1111 96350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4410 c Elapsed CPU time: 1.82772 s Remaining CPU time: 178.172 s c =============================================================================== c | 0 | 982 1112 97200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4409 c Elapsed CPU time: 1.86472 s Remaining CPU time: 178.135 s c =============================================================================== c | 0 | 982 1113 98050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4405 c Elapsed CPU time: 1.90171 s Remaining CPU time: 178.098 s c =============================================================================== c | 0 | 982 1114 98900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4403 c Elapsed CPU time: 1.9447 s Remaining CPU time: 178.055 s c =============================================================================== c | 0 | 982 1115 99750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4402 c Elapsed CPU time: 1.9867 s Remaining CPU time: 178.013 s c =============================================================================== c | 0 | 982 1116 100600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4399 c Elapsed CPU time: 2.03169 s Remaining CPU time: 177.968 s c =============================================================================== c | 0 | 982 1117 101450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4398 c Elapsed CPU time: 2.08168 s Remaining CPU time: 177.918 s c =============================================================================== c | 0 | 982 1118 102300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4397 c Elapsed CPU time: 2.12868 s Remaining CPU time: 177.871 s c =============================================================================== c | 0 | 982 1119 103150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4396 c Elapsed CPU time: 2.18067 s Remaining CPU time: 177.819 s c =============================================================================== c | 0 | 982 1120 104000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4392 c Elapsed CPU time: 2.23066 s Remaining CPU time: 177.769 s c =============================================================================== c | 0 | 982 1121 104850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4390 c Elapsed CPU time: 2.27865 s Remaining CPU time: 177.721 s c =============================================================================== c | 0 | 982 1122 105700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4386 c Elapsed CPU time: 2.32665 s Remaining CPU time: 177.673 s c =============================================================================== c | 0 | 982 1123 106550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4385 c Elapsed CPU time: 2.37664 s Remaining CPU time: 177.623 s c =============================================================================== c | 0 | 982 1124 107400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4382 c Elapsed CPU time: 2.42763 s Remaining CPU time: 177.572 s c =============================================================================== c | 0 | 982 1125 108250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4379 c Elapsed CPU time: 2.47862 s Remaining CPU time: 177.521 s c =============================================================================== c | 0 | 982 1126 109100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4375 c Elapsed CPU time: 2.52961 s Remaining CPU time: 177.47 s c =============================================================================== c | 0 | 982 1127 109950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4372 c Elapsed CPU time: 2.58261 s Remaining CPU time: 177.417 s c =============================================================================== c | 0 | 982 1128 110800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4368 c Elapsed CPU time: 2.6326 s Remaining CPU time: 177.367 s c =============================================================================== c | 0 | 982 1129 111650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4367 c Elapsed CPU time: 2.68159 s Remaining CPU time: 177.318 s c =============================================================================== c | 0 | 982 1130 112500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4364 c Elapsed CPU time: 2.73158 s Remaining CPU time: 177.268 s c =============================================================================== c | 0 | 982 1131 113350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4361 c Elapsed CPU time: 2.78058 s Remaining CPU time: 177.219 s c =============================================================================== c | 0 | 982 1132 114200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4360 c Elapsed CPU time: 2.82957 s Remaining CPU time: 177.17 s c =============================================================================== c | 0 | 982 1133 115050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4358 c Elapsed CPU time: 2.87656 s Remaining CPU time: 177.123 s c =============================================================================== c | 0 | 982 1134 115900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4354 c Elapsed CPU time: 2.92755 s Remaining CPU time: 177.072 s c =============================================================================== c | 0 | 982 1135 116750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4352 c Elapsed CPU time: 2.98055 s Remaining CPU time: 177.019 s c =============================================================================== c | 0 | 982 1136 117600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4351 c Elapsed CPU time: 3.02954 s Remaining CPU time: 176.97 s c =============================================================================== c | 0 | 982 1137 118450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4350 c Elapsed CPU time: 3.08353 s Remaining CPU time: 176.916 s c =============================================================================== c | 0 | 982 1138 119300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4348 c Elapsed CPU time: 3.13652 s Remaining CPU time: 176.863 s c =============================================================================== c | 0 | 982 1139 120150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4347 c Elapsed CPU time: 3.19051 s Remaining CPU time: 176.809 s c =============================================================================== c | 0 | 982 1140 121000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4345 c Elapsed CPU time: 3.24251 s Remaining CPU time: 176.757 s c =============================================================================== c | 0 | 982 1141 121850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4344 c Elapsed CPU time: 3.2955 s Remaining CPU time: 176.705 s c =============================================================================== c | 0 | 982 1142 122700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4343 c Elapsed CPU time: 3.34949 s Remaining CPU time: 176.651 s c =============================================================================== c | 0 | 982 1143 123550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4342 c Elapsed CPU time: 3.40448 s Remaining CPU time: 176.596 s c =============================================================================== c | 0 | 982 1144 124400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4341 c Elapsed CPU time: 3.46047 s Remaining CPU time: 176.54 s c =============================================================================== c | 0 | 982 1145 125250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4340 c Elapsed CPU time: 3.51647 s Remaining CPU time: 176.484 s c =============================================================================== c | 0 | 982 1146 126100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4339 c Elapsed CPU time: 3.57346 s Remaining CPU time: 176.427 s c =============================================================================== c | 0 | 982 1147 126950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4337 c Elapsed CPU time: 3.62745 s Remaining CPU time: 176.373 s c =============================================================================== c | 0 | 982 1148 127800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4334 c Elapsed CPU time: 3.68744 s Remaining CPU time: 176.313 s c =============================================================================== c | 0 | 982 1149 128650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4332 c Elapsed CPU time: 3.74343 s Remaining CPU time: 176.257 s c =============================================================================== c | 0 | 982 1150 129500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4331 c Elapsed CPU time: 3.80142 s Remaining CPU time: 176.199 s c =============================================================================== c | 0 | 982 1151 130350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4330 c Elapsed CPU time: 3.85941 s Remaining CPU time: 176.141 s c =============================================================================== c | 0 | 982 1152 131200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4328 c Elapsed CPU time: 3.9164 s Remaining CPU time: 176.084 s c =============================================================================== c | 0 | 982 1153 132050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4327 c Elapsed CPU time: 3.97539 s Remaining CPU time: 176.025 s c =============================================================================== c | 0 | 982 1154 132900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4326 c Elapsed CPU time: 4.03339 s Remaining CPU time: 175.967 s c =============================================================================== c | 0 | 982 1155 133750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4325 c Elapsed CPU time: 4.09438 s Remaining CPU time: 175.906 s c =============================================================================== c | 0 | 982 1156 134600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4323 c Elapsed CPU time: 4.15537 s Remaining CPU time: 175.845 s c =============================================================================== c | 0 | 982 1157 135450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4321 c Elapsed CPU time: 4.21636 s Remaining CPU time: 175.784 s c =============================================================================== c | 0 | 982 1158 136300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4320 c Elapsed CPU time: 4.27735 s Remaining CPU time: 175.723 s c =============================================================================== c | 0 | 982 1159 137150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4318 c Elapsed CPU time: 4.34134 s Remaining CPU time: 175.659 s c =============================================================================== c | 0 | 982 1160 138000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4316 c Elapsed CPU time: 4.40433 s Remaining CPU time: 175.596 s c =============================================================================== c | 0 | 982 1161 138850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4315 c Elapsed CPU time: 4.46732 s Remaining CPU time: 175.533 s c =============================================================================== c | 0 | 982 1162 139700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4314 c Elapsed CPU time: 4.52931 s Remaining CPU time: 175.471 s c =============================================================================== c | 0 | 982 1163 140550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4313 c Elapsed CPU time: 4.5943 s Remaining CPU time: 175.406 s c =============================================================================== c | 0 | 982 1164 141400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4309 c Elapsed CPU time: 4.65929 s Remaining CPU time: 175.341 s c =============================================================================== c | 1 | 982 1165 142250 | 5000 1 812 | 0.000 % | c =============================================================================== c New solution: 4307 c Elapsed CPU time: 4.72528 s Remaining CPU time: 175.275 s c =============================================================================== c | 1 | 982 1166 143100 | 5000 1 812 | 0.000 % | c =============================================================================== c New solution: 4306 c Elapsed CPU time: 4.79027 s Remaining CPU time: 175.21 s c =============================================================================== c | 1 | 982 1167 143950 | 5000 1 812 | 0.000 % | c =============================================================================== c New solution: 4305 c Elapsed CPU time: 4.85626 s Remaining CPU time: 175.144 s c =============================================================================== c | 1 | 982 1168 144800 | 5000 1 812 | 0.000 % | c =============================================================================== c New solution: 4303 c Elapsed CPU time: 4.92225 s Remaining CPU time: 175.078 s c =============================================================================== c | 2 | 982 1169 145650 | 5000 2 811 | 0.000 % | c =============================================================================== c New solution: 4302 c Elapsed CPU time: 4.99424 s Remaining CPU time: 175.006 s c =============================================================================== c | 2 | 982 1170 146500 | 5000 2 811 | 0.000 % | c =============================================================================== c New solution: 4301 c Elapsed CPU time: 5.06123 s Remaining CPU time: 174.939 s c =============================================================================== c | 2 | 982 1171 147350 | 5000 2 811 | 0.000 % | c =============================================================================== c New solution: 4300 c Elapsed CPU time: 5.12922 s Remaining CPU time: 174.871 s c =============================================================================== c | 2 | 982 1172 148200 | 5000 2 811 | 0.000 % | c =============================================================================== c New solution: 4297 c Elapsed CPU time: 5.19721 s Remaining CPU time: 174.803 s c =============================================================================== c | 2 | 982 1173 149050 | 5000 2 811 | 0.000 % | c =============================================================================== c New solution: 4295 c Elapsed CPU time: 5.2692 s Remaining CPU time: 174.731 s c =============================================================================== c | 2 | 982 1174 149900 | 5000 2 811 | 0.000 % | c =============================================================================== c New solution: 4292 c Elapsed CPU time: 5.33819 s Remaining CPU time: 174.662 s c =============================================================================== c | 2 | 982 1175 150750 | 5000 2 811 | 0.000 % | c =============================================================================== c New solution: 4291 c Elapsed CPU time: 5.40618 s Remaining CPU time: 174.594 s c =============================================================================== c | 2 | 982 1176 151600 | 5000 2 811 | 0.000 % | c =============================================================================== c New solution: 4289 c Elapsed CPU time: 5.48417 s Remaining CPU time: 174.516 s c =============================================================================== c | 3 | 982 1177 152450 | 5000 3 809 | 0.000 % | c =============================================================================== c New solution: 4287 c Elapsed CPU time: 5.55715 s Remaining CPU time: 174.443 s c =============================================================================== c | 3 | 982 1178 153300 | 5000 3 809 | 0.000 % | c =============================================================================== c New solution: 4284 c Elapsed CPU time: 5.62714 s Remaining CPU time: 174.373 s c =============================================================================== c | 3 | 982 1179 154150 | 5000 3 809 | 0.000 % | c =============================================================================== c New solution: 4283 c Elapsed CPU time: 5.69813 s Remaining CPU time: 174.302 s c =============================================================================== c | 3 | 982 1180 155000 | 5000 3 809 | 0.000 % | c =============================================================================== c New solution: 4282 c Elapsed CPU time: 5.77112 s Remaining CPU time: 174.229 s c =============================================================================== c | 4 | 982 1181 155850 | 5000 4 808 | 0.000 % | c =============================================================================== c New solution: 4281 c Elapsed CPU time: 5.84811 s Remaining CPU time: 174.152 s c =============================================================================== c | 4 | 982 1182 156700 | 5000 4 808 | 0.000 % | c =============================================================================== c New solution: 4280 c Elapsed CPU time: 5.9221 s Remaining CPU time: 174.078 s c =============================================================================== c | 4 | 982 1183 157550 | 5000 4 808 | 0.000 % | c =============================================================================== c New solution: 4278 c Elapsed CPU time: 5.99409 s Remaining CPU time: 174.006 s c =============================================================================== c | 4 | 982 1184 158400 | 5000 4 808 | 0.000 % | c =============================================================================== c New solution: 4276 c Elapsed CPU time: 6.06808 s Remaining CPU time: 173.932 s c =============================================================================== c | 4 | 982 1185 159250 | 5000 4 808 | 0.000 % | c =============================================================================== c New solution: 4275 c Elapsed CPU time: 6.14506 s Remaining CPU time: 173.855 s c =============================================================================== c | 4 | 982 1186 160100 | 5000 4 808 | 0.000 % | c =============================================================================== c New solution: 4274 c Elapsed CPU time: 6.22005 s Remaining CPU time: 173.78 s c =============================================================================== c | 4 | 982 1187 160950 | 5000 4 808 | 0.000 % | c =============================================================================== c New solution: 4272 c Elapsed CPU time: 6.29404 s Remaining CPU time: 173.706 s c =============================================================================== c | 4 | 982 1188 161800 | 5000 4 808 | 0.000 % | c =============================================================================== c New solution: 4271 c Elapsed CPU time: 6.37303 s Remaining CPU time: 173.627 s c =============================================================================== c | 4 | 982 1189 162650 | 5000 4 808 | 0.000 % | c =============================================================================== c New solution: 4269 c Elapsed CPU time: 6.45402 s Remaining CPU time: 173.546 s c =============================================================================== c | 4 | 982 1190 163500 | 5000 4 808 | 0.000 % | c =============================================================================== c New solution: 4267 c Elapsed CPU time: 6.53501 s Remaining CPU time: 173.465 s c =============================================================================== c | 4 | 982 1191 164350 | 5000 4 808 | 0.000 % | c =============================================================================== c New solution: 4265 c Elapsed CPU time: 6.61099 s Remaining CPU time: 173.389 s c =============================================================================== c | 4 | 982 1192 165200 | 5000 4 808 | 0.000 % | c =============================================================================== c New solution: 4264 c Elapsed CPU time: 6.68898 s Remaining CPU time: 173.311 s c =============================================================================== c | 4 | 982 1193 166050 | 5000 4 808 | 0.000 % | c =============================================================================== c New solution: 4262 c Elapsed CPU time: 6.76897 s Remaining CPU time: 173.231 s c =============================================================================== c | 4 | 982 1194 166900 | 5000 4 808 | 0.000 % | c =============================================================================== c New solution: 4261 c Elapsed CPU time: 6.84796 s Remaining CPU time: 173.152 s c =============================================================================== c | 4 | 982 1195 167750 | 5000 4 808 | 0.000 % | c =============================================================================== c New solution: 4260 c Elapsed CPU time: 6.93295 s Remaining CPU time: 173.067 s c =============================================================================== c | 5 | 982 1196 168600 | 5000 5 807 | 0.000 % | c =============================================================================== c New solution: 4259 c Elapsed CPU time: 7.01393 s Remaining CPU time: 172.986 s c =============================================================================== c | 5 | 982 1197 169450 | 5000 5 807 | 0.000 % | c =============================================================================== c New solution: 4257 c Elapsed CPU time: 7.09692 s Remaining CPU time: 172.903 s c =============================================================================== c | 5 | 982 1198 170300 | 5000 5 807 | 0.000 % | c =============================================================================== c New solution: 4256 c Elapsed CPU time: 7.17991 s Remaining CPU time: 172.82 s c =============================================================================== c | 5 | 982 1199 171150 | 5000 5 807 | 0.000 % | c =============================================================================== c New solution: 4254 c Elapsed CPU time: 7.2659 s Remaining CPU time: 172.734 s c =============================================================================== c | 5 | 982 1200 172000 | 5000 5 807 | 0.000 % | c =============================================================================== c New solution: 4253 c Elapsed CPU time: 7.34788 s Remaining CPU time: 172.652 s c =============================================================================== c | 5 | 982 1201 172850 | 5000 5 807 | 0.000 % | c =============================================================================== c New solution: 4252 c Elapsed CPU time: 7.44087 s Remaining CPU time: 172.559 s c =============================================================================== c | 5 | 982 1202 173700 | 5000 5 807 | 0.000 % | c =============================================================================== c New solution: 4250 c Elapsed CPU time: 7.52686 s Remaining CPU time: 172.473 s c =============================================================================== c | 5 | 982 1203 174550 | 5000 5 807 | 0.000 % | c =============================================================================== c New solution: 4249 c Elapsed CPU time: 7.60984 s Remaining CPU time: 172.39 s c =============================================================================== c | 5 | 982 1204 175400 | 5000 5 807 | 0.000 % | c =============================================================================== c New solution: 4248 c Elapsed CPU time: 7.69583 s Remaining CPU time: 172.304 s c =============================================================================== c | 5 | 982 1205 176250 | 5000 5 807 | 0.000 % | c =============================================================================== c New solution: 4247 c Elapsed CPU time: 7.78082 s Remaining CPU time: 172.219 s c =============================================================================== c | 5 | 982 1206 177100 | 5000 5 807 | 0.000 % | c =============================================================================== c New solution: 4245 c Elapsed CPU time: 7.8758 s Remaining CPU time: 172.124 s c =============================================================================== c | 5 | 982 1207 177950 | 5000 5 807 | 0.000 % | c =============================================================================== c New solution: 4244 c Elapsed CPU time: 7.96279 s Remaining CPU time: 172.037 s c =============================================================================== c | 6 | 982 1208 178800 | 5000 6 806 | 0.000 % | c =============================================================================== c New solution: 4243 c Elapsed CPU time: 8.05177 s Remaining CPU time: 171.948 s c =============================================================================== c | 6 | 982 1209 179650 | 5000 6 806 | 0.000 % | c =============================================================================== c New solution: 4242 c Elapsed CPU time: 8.14076 s Remaining CPU time: 171.859 s c =============================================================================== c | 6 | 982 1210 180500 | 5000 6 806 | 0.000 % | c =============================================================================== c New solution: 4240 c Elapsed CPU time: 8.23075 s Remaining CPU time: 171.769 s c =============================================================================== c | 7 | 982 1211 181350 | 5000 7 691 | 0.000 % | c =============================================================================== c New solution: 4239 c Elapsed CPU time: 8.32273 s Remaining CPU time: 171.677 s c =============================================================================== c | 7 | 982 1212 182200 | 5000 7 691 | 0.000 % | c =============================================================================== c New solution: 4238 c Elapsed CPU time: 8.41272 s Remaining CPU time: 171.587 s c =============================================================================== c | 7 | 982 1213 183050 | 5000 7 691 | 0.000 % | c =============================================================================== c New solution: 4236 c Elapsed CPU time: 8.50071 s Remaining CPU time: 171.499 s c =============================================================================== c | 7 | 982 1214 183900 | 5000 7 691 | 0.000 % | c =============================================================================== c New solution: 4235 c Elapsed CPU time: 8.59069 s Remaining CPU time: 171.409 s c =============================================================================== c | 7 | 982 1215 184750 | 5000 7 691 | 0.000 % | c =============================================================================== c New solution: 4234 c Elapsed CPU time: 8.68668 s Remaining CPU time: 171.313 s c =============================================================================== c | 7 | 982 1216 185600 | 5000 7 691 | 0.000 % | c =============================================================================== c New solution: 4233 c Elapsed CPU time: 8.77867 s Remaining CPU time: 171.221 s c =============================================================================== c | 7 | 982 1217 186450 | 5000 7 691 | 0.000 % | c =============================================================================== c New solution: 4231 c Elapsed CPU time: 8.87565 s Remaining CPU time: 171.124 s c =============================================================================== c | 7 | 982 1218 187300 | 5000 7 691 | 0.000 % | c =============================================================================== c New solution: 4229 c Elapsed CPU time: 8.97064 s Remaining CPU time: 171.029 s c =============================================================================== c | 7 | 982 1219 188150 | 5000 7 691 | 0.000 % | c =============================================================================== c New solution: 4228 c Elapsed CPU time: 9.06762 s Remaining CPU time: 170.932 s c =============================================================================== c | 7 | 982 1220 189000 | 5000 7 691 | 0.000 % | c =============================================================================== c New solution: 4226 c Elapsed CPU time: 9.16361 s Remaining CPU time: 170.836 s c =============================================================================== c | 7 | 982 1221 189850 | 5000 7 691 | 0.000 % | c =============================================================================== c New solution: 4224 c Elapsed CPU time: 9.25959 s Remaining CPU time: 170.74 s c =============================================================================== c | 7 | 982 1222 190700 | 5000 7 691 | 0.000 % | c =============================================================================== c New solution: 4222 c Elapsed CPU time: 9.35558 s Remaining CPU time: 170.644 s c =============================================================================== c | 7 | 982 1223 191550 | 5000 7 691 | 0.000 % | c =============================================================================== c New solution: 4220 c Elapsed CPU time: 9.45256 s Remaining CPU time: 170.547 s c =============================================================================== c | 7 | 982 1224 192400 | 5000 7 691 | 0.000 % | c =============================================================================== c New solution: 4218 c Elapsed CPU time: 9.54955 s Remaining CPU time: 170.45 s c =============================================================================== c | 7 | 982 1225 193250 | 5000 7 691 | 0.000 % | c =============================================================================== c New solution: 4216 c Elapsed CPU time: 9.64553 s Remaining CPU time: 170.354 s c =============================================================================== c | 7 | 982 1226 194100 | 5000 7 691 | 0.000 % | c =============================================================================== c New solution: 4215 c Elapsed CPU time: 9.74852 s Remaining CPU time: 170.251 s c =============================================================================== c | 7 | 982 1227 194950 | 5000 7 691 | 0.000 % | c =============================================================================== c New solution: 4214 c Elapsed CPU time: 9.8505 s Remaining CPU time: 170.149 s c =============================================================================== c | 7 | 982 1228 195800 | 5000 7 691 | 0.000 % | c =============================================================================== c New solution: 4213 c Elapsed CPU time: 9.95149 s Remaining CPU time: 170.049 s c =============================================================================== c | 7 | 982 1229 196650 | 5000 7 691 | 0.000 % | c =============================================================================== c New solution: 4211 c Elapsed CPU time: 10.0515 s Remaining CPU time: 169.949 s c =============================================================================== c | 7 | 982 1230 197500 | 5000 7 691 | 0.000 % | c =============================================================================== c New solution: 4210 c Elapsed CPU time: 10.1495 s Remaining CPU time: 169.851 s c =============================================================================== c | 7 | 982 1231 198350 | 5000 7 691 | 0.000 % | c =============================================================================== c New solution: 4209 c Elapsed CPU time: 10.2474 s Remaining CPU time: 169.753 s c =============================================================================== c | 7 | 982 1232 199200 | 5000 7 691 | 0.000 % | c =============================================================================== c New solution: 4207 c Elapsed CPU time: 10.3454 s Remaining CPU time: 169.655 s c =============================================================================== c | 7 | 982 1233 200050 | 5000 7 691 | 0.000 % | c =============================================================================== c New solution: 4205 c Elapsed CPU time: 10.4494 s Remaining CPU time: 169.551 s c =============================================================================== c | 10 | 982 1234 200900 | 5000 10 642 | 0.000 % | c =============================================================================== c New solution: 4204 c Elapsed CPU time: 10.5664 s Remaining CPU time: 169.434 s c =============================================================================== c | 17 | 982 1235 201750 | 5000 17 705 | 0.000 % | c =============================================================================== c New solution: 4203 c Elapsed CPU time: 10.6674 s Remaining CPU time: 169.333 s c =============================================================================== c | 17 | 982 1236 202600 | 5000 17 705 | 0.000 % | c =============================================================================== c New solution: 4202 c Elapsed CPU time: 10.7714 s Remaining CPU time: 169.229 s c =============================================================================== c | 17 | 982 1237 203450 | 5000 17 705 | 0.000 % | c =============================================================================== c New solution: 4201 c Elapsed CPU time: 10.8773 s Remaining CPU time: 169.123 s c =============================================================================== c | 17 | 982 1238 204300 | 5000 17 705 | 0.000 % | c =============================================================================== c New solution: 4200 c Elapsed CPU time: 10.9863 s Remaining CPU time: 169.014 s c =============================================================================== c | 20 | 982 1239 205150 | 5000 20 718 | 0.000 % | c =============================================================================== c New solution: 4198 c Elapsed CPU time: 11.0873 s Remaining CPU time: 168.913 s c =============================================================================== c | 20 | 982 1240 206000 | 5000 20 718 | 0.000 % | c =============================================================================== c New solution: 4196 c Elapsed CPU time: 11.1903 s Remaining CPU time: 168.81 s c =============================================================================== c | 20 | 982 1241 206850 | 5000 20 718 | 0.000 % | c =============================================================================== c New solution: 4195 c Elapsed CPU time: 11.2953 s Remaining CPU time: 168.705 s c =============================================================================== c | 20 | 982 1242 207700 | 5000 20 718 | 0.000 % | c =============================================================================== c New solution: 4194 c Elapsed CPU time: 11.4053 s Remaining CPU time: 168.595 s c =============================================================================== c | 20 | 982 1243 208550 | 5000 20 718 | 0.000 % | c =============================================================================== c New solution: 4192 c Elapsed CPU time: 11.5113 s Remaining CPU time: 168.489 s c =============================================================================== c | 21 | 982 1244 209400 | 5000 21 721 | 0.000 % | c =============================================================================== c New solution: 4191 c Elapsed CPU time: 11.6182 s Remaining CPU time: 168.382 s c =============================================================================== c | 21 | 982 1245 210250 | 5000 21 721 | 0.000 % | c =============================================================================== c New solution: 4190 c Elapsed CPU time: 11.7272 s Remaining CPU time: 168.273 s c =============================================================================== c | 21 | 982 1246 211100 | 5000 21 721 | 0.000 % | c =============================================================================== c New solution: 4188 c Elapsed CPU time: 11.8342 s Remaining CPU time: 168.166 s c =============================================================================== c | 21 | 982 1247 211950 | 5000 21 721 | 0.000 % | c =============================================================================== c New solution: 4186 c Elapsed CPU time: 11.9442 s Remaining CPU time: 168.056 s c =============================================================================== c | 23 | 982 1248 212800 | 5000 23 727 | 0.000 % | c =============================================================================== c New solution: 4185 c Elapsed CPU time: 12.0502 s Remaining CPU time: 167.95 s c =============================================================================== c | 23 | 982 1249 213650 | 5000 23 727 | 0.000 % | c =============================================================================== c New solution: 4183 c Elapsed CPU time: 12.1602 s Remaining CPU time: 167.84 s c =============================================================================== c | 24 | 982 1250 214500 | 5000 24 730 | 0.000 % | c =============================================================================== c New solution: 4181 c Elapsed CPU time: 12.2801 s Remaining CPU time: 167.72 s c =============================================================================== c | 30 | 982 1251 215350 | 5000 30 742 | 0.000 % | c =============================================================================== c New solution: 4180 c Elapsed CPU time: 12.3931 s Remaining CPU time: 167.607 s c =============================================================================== c | 30 | 982 1252 216200 | 5000 30 742 | 0.000 % | c =============================================================================== c New solution: 4179 c Elapsed CPU time: 12.5231 s Remaining CPU time: 167.477 s c =============================================================================== c | 39 | 982 1253 217050 | 5000 39 753 | 0.000 % | c =============================================================================== c New solution: 4178 c Elapsed CPU time: 12.6361 s Remaining CPU time: 167.364 s c =============================================================================== c | 39 | 982 1254 217900 | 5000 39 753 | 0.000 % | c =============================================================================== c New solution: 4177 c Elapsed CPU time: 12.7601 s Remaining CPU time: 167.24 s c =============================================================================== c | 39 | 982 1255 218750 | 5000 39 753 | 0.000 % | c =============================================================================== c New solution: 4176 c Elapsed CPU time: 12.873 s Remaining CPU time: 167.127 s c =============================================================================== c | 39 | 982 1256 219600 | 5000 39 753 | 0.000 % | c =============================================================================== c New solution: 4175 c Elapsed CPU time: 12.988 s Remaining CPU time: 167.012 s c =============================================================================== c | 40 | 982 1257 220450 | 5000 40 754 | 0.000 % | c =============================================================================== c New solution: 4174 c Elapsed CPU time: 13.104 s Remaining CPU time: 166.896 s c =============================================================================== c | 40 | 982 1258 221300 | 5000 40 754 | 0.000 % | c =============================================================================== c New solution: 4172 c Elapsed CPU time: 13.223 s Remaining CPU time: 166.777 s c =============================================================================== c | 41 | 982 1259 222150 | 5000 41 755 | 0.000 % | c =============================================================================== c New solution: 4170 c Elapsed CPU time: 13.337 s Remaining CPU time: 166.663 s c =============================================================================== c | 41 | 982 1260 223000 | 5000 41 755 | 0.000 % | c =============================================================================== c New solution: 4169 c Elapsed CPU time: 13.455 s Remaining CPU time: 166.545 s c =============================================================================== c | 42 | 982 1261 223850 | 5000 42 756 | 0.000 % | c =============================================================================== c New solution: 4167 c Elapsed CPU time: 13.5709 s Remaining CPU time: 166.429 s c =============================================================================== c | 42 | 982 1262 224700 | 5000 42 756 | 0.000 % | c =============================================================================== c New solution: 4165 c Elapsed CPU time: 13.6859 s Remaining CPU time: 166.314 s c =============================================================================== c | 43 | 982 1263 225550 | 5000 43 756 | 0.000 % | c =============================================================================== c New solution: 4164 c Elapsed CPU time: 13.8019 s Remaining CPU time: 166.198 s c =============================================================================== c | 43 | 982 1264 226400 | 5000 43 756 | 0.000 % | c =============================================================================== c New solution: 4163 c Elapsed CPU time: 13.9219 s Remaining CPU time: 166.078 s c =============================================================================== c | 45 | 982 1265 227250 | 5000 45 758 | 0.000 % | c =============================================================================== c New solution: 4162 c Elapsed CPU time: 14.0429 s Remaining CPU time: 165.957 s c =============================================================================== c | 45 | 982 1266 228100 | 5000 45 758 | 0.000 % | c =============================================================================== c New solution: 4160 c Elapsed CPU time: 14.1608 s Remaining CPU time: 165.839 s c =============================================================================== c | 45 | 982 1267 228950 | 5000 45 758 | 0.000 % | c =============================================================================== c New solution: 4159 c Elapsed CPU time: 14.2808 s Remaining CPU time: 165.719 s c =============================================================================== c | 45 | 982 1268 229800 | 5000 45 758 | 0.000 % | c =============================================================================== c New solution: 4157 c Elapsed CPU time: 14.4018 s Remaining CPU time: 165.598 s c =============================================================================== c | 45 | 982 1269 230650 | 5000 45 758 | 0.000 % | c =============================================================================== c New solution: 4156 c Elapsed CPU time: 14.5228 s Remaining CPU time: 165.477 s c =============================================================================== c | 45 | 982 1270 231500 | 5000 45 758 | 0.000 % | c =============================================================================== c New solution: 4155 c Elapsed CPU time: 14.6418 s Remaining CPU time: 165.358 s c =============================================================================== c | 45 | 982 1271 232350 | 5000 45 758 | 0.000 % | c =============================================================================== c New solution: 4154 c Elapsed CPU time: 14.7618 s Remaining CPU time: 165.238 s c =============================================================================== c | 45 | 982 1272 233200 | 5000 45 758 | 0.000 % | c =============================================================================== c New solution: 4152 c Elapsed CPU time: 14.8817 s Remaining CPU time: 165.118 s c =============================================================================== c | 45 | 982 1273 234050 | 5000 45 758 | 0.000 % | c =============================================================================== c New solution: 4151 c Elapsed CPU time: 15.0047 s Remaining CPU time: 164.995 s c =============================================================================== c | 45 | 982 1274 234900 | 5000 45 758 | 0.000 % | c =============================================================================== c New solution: 4150 c Elapsed CPU time: 15.1377 s Remaining CPU time: 164.862 s c =============================================================================== c | 48 | 982 1275 235750 | 5000 48 759 | 0.000 % | c =============================================================================== c New solution: 4149 c Elapsed CPU time: 15.2667 s Remaining CPU time: 164.733 s c =============================================================================== c | 48 | 982 1276 236600 | 5000 48 759 | 0.000 % | c =============================================================================== c New solution: 4148 c Elapsed CPU time: 15.3937 s Remaining CPU time: 164.606 s c =============================================================================== c | 48 | 982 1277 237450 | 5000 48 759 | 0.000 % | c =============================================================================== c New solution: 4147 c Elapsed CPU time: 15.5186 s Remaining CPU time: 164.481 s c =============================================================================== c | 48 | 982 1278 238300 | 5000 48 759 | 0.000 % | c =============================================================================== c New solution: 4145 c Elapsed CPU time: 15.6446 s Remaining CPU time: 164.355 s c =============================================================================== c | 48 | 982 1279 239150 | 5000 48 759 | 0.000 % | c =============================================================================== c New solution: 4144 c Elapsed CPU time: 15.7716 s Remaining CPU time: 164.228 s c =============================================================================== c | 48 | 982 1280 240000 | 5000 48 759 | 0.000 % | c =============================================================================== c New solution: 4143 c Elapsed CPU time: 15.9106 s Remaining CPU time: 164.089 s c =============================================================================== c | 52 | 982 1281 240850 | 5000 52 761 | 0.000 % | c =============================================================================== c New solution: 4141 c Elapsed CPU time: 16.0436 s Remaining CPU time: 163.956 s c =============================================================================== c | 52 | 982 1282 241700 | 5000 52 761 | 0.000 % | c =============================================================================== c New solution: 4140 c Elapsed CPU time: 16.1725 s Remaining CPU time: 163.827 s c =============================================================================== c | 52 | 982 1283 242550 | 5000 52 761 | 0.000 % | c =============================================================================== c New solution: 4139 c Elapsed CPU time: 16.3115 s Remaining CPU time: 163.688 s c =============================================================================== c | 55 | 982 1284 243400 | 5000 55 763 | 0.000 % | c =============================================================================== c New solution: 4138 c Elapsed CPU time: 16.4435 s Remaining CPU time: 163.556 s c =============================================================================== c | 56 | 982 1285 244250 | 5000 56 763 | 0.000 % | c =============================================================================== c New solution: 4136 c Elapsed CPU time: 16.5675 s Remaining CPU time: 163.433 s c =============================================================================== c | 56 | 982 1286 245100 | 5000 56 763 | 0.000 % | c =============================================================================== c New solution: 4134 c Elapsed CPU time: 16.7005 s Remaining CPU time: 163.3 s c =============================================================================== c | 56 | 982 1287 245950 | 5000 56 763 | 0.000 % | c =============================================================================== c New solution: 4133 c Elapsed CPU time: 16.8334 s Remaining CPU time: 163.167 s c =============================================================================== c | 56 | 982 1288 246800 | 5000 56 763 | 0.000 % | c =============================================================================== c New solution: 4132 c Elapsed CPU time: 16.9624 s Remaining CPU time: 163.038 s c =============================================================================== c | 56 | 982 1289 247650 | 5000 56 763 | 0.000 % | c =============================================================================== c New solution: 4131 c Elapsed CPU time: 17.1214 s Remaining CPU time: 162.879 s c =============================================================================== c | 68 | 982 1290 248500 | 5000 68 766 | 0.000 % | c =============================================================================== c New solution: 4130 c Elapsed CPU time: 17.2624 s Remaining CPU time: 162.738 s c =============================================================================== c | 68 | 982 1291 249350 | 5000 68 766 | 0.000 % | c =============================================================================== c New solution: 4129 c Elapsed CPU time: 17.3944 s Remaining CPU time: 162.606 s c =============================================================================== c | 68 | 982 1292 250200 | 5000 68 766 | 0.000 % | c =============================================================================== c New solution: 4128 c Elapsed CPU time: 17.5263 s Remaining CPU time: 162.474 s c =============================================================================== c | 68 | 982 1293 251050 | 5000 68 766 | 0.000 % | c =============================================================================== c New solution: 4127 c Elapsed CPU time: 17.6593 s Remaining CPU time: 162.341 s c =============================================================================== c | 70 | 982 1294 251900 | 5000 70 766 | 0.000 % | c =============================================================================== c New solution: 4126 c Elapsed CPU time: 17.7983 s Remaining CPU time: 162.202 s c =============================================================================== c | 71 | 982 1295 252750 | 5000 71 767 | 0.000 % | c =============================================================================== c New solution: 4125 c Elapsed CPU time: 17.9423 s Remaining CPU time: 162.058 s c =============================================================================== c | 74 | 982 1296 253600 | 5000 74 767 | 0.000 % | c =============================================================================== c New solution: 4124 c Elapsed CPU time: 18.0793 s Remaining CPU time: 161.921 s c =============================================================================== c | 74 | 982 1297 254450 | 5000 74 767 | 0.000 % | c =============================================================================== c New solution: 4123 c Elapsed CPU time: 18.2182 s Remaining CPU time: 161.782 s c =============================================================================== c | 74 | 982 1298 255300 | 5000 74 767 | 0.000 % | c =============================================================================== c New solution: 4122 c Elapsed CPU time: 18.3612 s Remaining CPU time: 161.639 s c =============================================================================== c | 74 | 982 1299 256150 | 5000 74 767 | 0.000 % | c =============================================================================== c New solution: 4121 c Elapsed CPU time: 18.4982 s Remaining CPU time: 161.502 s c =============================================================================== c | 74 | 982 1300 257000 | 5000 74 767 | 0.000 % | c =============================================================================== c New solution: 4120 c Elapsed CPU time: 18.6342 s Remaining CPU time: 161.366 s c =============================================================================== c | 74 | 982 1301 257850 | 5000 74 767 | 0.000 % | c =============================================================================== c New solution: 4119 c Elapsed CPU time: 18.7691 s Remaining CPU time: 161.231 s c =============================================================================== c | 75 | 982 1302 258700 | 5000 75 757 | 0.000 % | c =============================================================================== c New solution: 4118 c Elapsed CPU time: 18.9071 s Remaining CPU time: 161.093 s c =============================================================================== c | 75 | 982 1303 259550 | 5000 75 757 | 0.000 % | c =============================================================================== c New solution: 4117 c Elapsed CPU time: 19.0541 s Remaining CPU time: 160.946 s c =============================================================================== c | 77 | 982 1304 260400 | 5000 77 757 | 0.000 % | c =============================================================================== c New solution: 4116 c Elapsed CPU time: 19.2071 s Remaining CPU time: 160.793 s c =============================================================================== c | 82 | 982 1305 261250 | 5000 82 759 | 0.000 % | c =============================================================================== c New solution: 4115 c Elapsed CPU time: 19.3521 s Remaining CPU time: 160.648 s c =============================================================================== c | 82 | 982 1306 262100 | 5000 82 759 | 0.000 % | c =============================================================================== c New solution: 4114 c Elapsed CPU time: 19.492 s Remaining CPU time: 160.508 s c =============================================================================== c | 82 | 982 1307 262950 | 5000 82 759 | 0.000 % | c =============================================================================== c New solution: 4113 c Elapsed CPU time: 19.636 s Remaining CPU time: 160.364 s c =============================================================================== c | 84 | 982 1308 263800 | 5000 84 759 | 0.000 % | c =============================================================================== c New solution: 4112 c Elapsed CPU time: 19.784 s Remaining CPU time: 160.216 s c =============================================================================== c | 84 | 982 1309 264650 | 5000 84 759 | 0.000 % | c =============================================================================== c New solution: 4111 c Elapsed CPU time: 19.93 s Remaining CPU time: 160.07 s c =============================================================================== c | 84 | 982 1310 265500 | 5000 84 759 | 0.000 % | c =============================================================================== c New solution: 4110 c Elapsed CPU time: 20.0759 s Remaining CPU time: 159.924 s c =============================================================================== c | 84 | 982 1311 266350 | 5000 84 759 | 0.000 % | c =============================================================================== c New solution: 4109 c Elapsed CPU time: 20.2219 s Remaining CPU time: 159.778 s c =============================================================================== c | 84 | 982 1312 267200 | 5000 84 759 | 0.000 % | c =============================================================================== c New solution: 4108 c Elapsed CPU time: 20.3699 s Remaining CPU time: 159.63 s c =============================================================================== c | 85 | 982 1313 268050 | 5000 85 759 | 0.000 % | c =============================================================================== c New solution: 4107 c Elapsed CPU time: 20.5129 s Remaining CPU time: 159.487 s c =============================================================================== c | 85 | 982 1314 268900 | 5000 85 759 | 0.000 % | c =============================================================================== c New solution: 4106 c Elapsed CPU time: 20.6579 s Remaining CPU time: 159.342 s c =============================================================================== c | 85 | 982 1315 269750 | 5000 85 759 | 0.000 % | c =============================================================================== c New solution: 4105 c Elapsed CPU time: 20.8098 s Remaining CPU time: 159.19 s c =============================================================================== c | 92 | 982 1316 270600 | 5000 92 761 | 0.000 % | c =============================================================================== c New solution: 4104 c Elapsed CPU time: 20.9668 s Remaining CPU time: 159.033 s c =============================================================================== c | 95 | 982 1317 271450 | 5000 95 761 | 0.000 % | c =============================================================================== c New solution: 4103 c Elapsed CPU time: 21.1128 s Remaining CPU time: 158.887 s c =============================================================================== c | 97 | 982 1318 272300 | 5000 97 761 | 0.000 % | c =============================================================================== c New solution: 4102 c Elapsed CPU time: 21.2588 s Remaining CPU time: 158.741 s c =============================================================================== c | 97 | 982 1319 273150 | 5000 97 761 | 0.000 % | c =============================================================================== c New solution: 4101 c Elapsed CPU time: 21.4157 s Remaining CPU time: 158.584 s c =============================================================================== c | 99 | 982 1320 274000 | 5000 99 762 | 0.000 % | c =============================================================================== c New solution: 4100 c Elapsed CPU time: 21.5597 s Remaining CPU time: 158.44 s c =============================================================================== c | 99 | 982 1321 274850 | 5000 99 762 | 0.000 % | c =============================================================================== c New solution: 4099 c Elapsed CPU time: 21.7087 s Remaining CPU time: 158.291 s c =============================================================================== c | 103 | 982 1322 275700 | 5000 103 762 | 0.000 % | c =============================================================================== c New solution: 4098 c Elapsed CPU time: 21.8727 s Remaining CPU time: 158.127 s c =============================================================================== c | 105 | 982 1323 276550 | 5000 105 762 | 0.000 % | c =============================================================================== c New solution: 4097 c Elapsed CPU time: 22.0237 s Remaining CPU time: 157.976 s c =============================================================================== c | 105 | 982 1324 277400 | 5000 105 762 | 0.000 % | c =============================================================================== c New solution: 4095 c Elapsed CPU time: 22.1816 s Remaining CPU time: 157.818 s c =============================================================================== c | 105 | 982 1325 278250 | 5000 105 762 | 0.000 % | c =============================================================================== c New solution: 4094 c Elapsed CPU time: 22.3326 s Remaining CPU time: 157.667 s c =============================================================================== c | 105 | 982 1326 279100 | 5000 105 762 | 0.000 % | c =============================================================================== c New solution: 4093 c Elapsed CPU time: 22.4796 s Remaining CPU time: 157.52 s c =============================================================================== c | 105 | 982 1327 279950 | 5000 105 762 | 0.000 % | c =============================================================================== c New solution: 4092 c Elapsed CPU time: 22.6356 s Remaining CPU time: 157.364 s c =============================================================================== c | 106 | 982 1328 280800 | 5000 106 762 | 0.000 % | c =============================================================================== c New solution: 4091 c Elapsed CPU time: 22.7935 s Remaining CPU time: 157.206 s c =============================================================================== c | 106 | 982 1329 281650 | 5000 106 762 | 0.000 % | c =============================================================================== c New solution: 4090 c Elapsed CPU time: 22.9405 s Remaining CPU time: 157.059 s c =============================================================================== c | 106 | 982 1330 282500 | 5000 106 762 | 0.000 % | c =============================================================================== c New solution: 4089 c Elapsed CPU time: 23.0895 s Remaining CPU time: 156.911 s c =============================================================================== c | 106 | 982 1331 283350 | 5000 106 762 | 0.000 % | c =============================================================================== c New solution: 4088 c Elapsed CPU time: 23.2495 s Remaining CPU time: 156.751 s c =============================================================================== c | 106 | 982 1332 284200 | 5000 106 762 | 0.000 % | c =============================================================================== c New solution: 4087 c Elapsed CPU time: 23.4064 s Remaining CPU time: 156.594 s c =============================================================================== c | 106 | 982 1333 285050 | 5000 106 762 | 0.000 % | c =============================================================================== c New solution: 4086 c Elapsed CPU time: 23.5684 s Remaining CPU time: 156.432 s c =============================================================================== c | 108 | 982 1334 285900 | 5000 108 763 | 0.000 % | c =============================================================================== c New solution: 4085 c Elapsed CPU time: 23.7224 s Remaining CPU time: 156.278 s c =============================================================================== c | 108 | 982 1335 286750 | 5000 108 763 | 0.000 % | c =============================================================================== c New solution: 4084 c Elapsed CPU time: 23.8784 s Remaining CPU time: 156.122 s c =============================================================================== c | 109 | 982 1336 287600 | 5000 109 763 | 0.000 % | c =============================================================================== c New solution: 4083 c Elapsed CPU time: 24.0443 s Remaining CPU time: 155.956 s c =============================================================================== c | 112 | 982 1337 288450 | 5000 112 763 | 0.000 % | c =============================================================================== c New solution: 4082 c Elapsed CPU time: 24.2133 s Remaining CPU time: 155.787 s c =============================================================================== c | 114 | 982 1338 289300 | 5000 114 763 | 0.000 % | c =============================================================================== c New solution: 4081 c Elapsed CPU time: 24.3873 s Remaining CPU time: 155.613 s c =============================================================================== c | 120 | 982 1339 290150 | 5000 120 764 | 0.000 % | c =============================================================================== c New solution: 4080 c Elapsed CPU time: 24.5583 s Remaining CPU time: 155.442 s c =============================================================================== c | 123 | 982 1340 291000 | 5000 123 758 | 0.000 % | c =============================================================================== c New solution: 4079 c Elapsed CPU time: 24.7152 s Remaining CPU time: 155.285 s c =============================================================================== c | 123 | 982 1341 291850 | 5000 123 758 | 0.000 % | c =============================================================================== c New solution: 4078 c Elapsed CPU time: 24.8732 s Remaining CPU time: 155.127 s c =============================================================================== c | 123 | 982 1342 292700 | 5000 123 758 | 0.000 % | c =============================================================================== c New solution: 4077 c Elapsed CPU time: 25.0332 s Remaining CPU time: 154.967 s c =============================================================================== c | 123 | 982 1343 293550 | 5000 123 758 | 0.000 % | c =============================================================================== c New solution: 4076 c Elapsed CPU time: 25.2082 s Remaining CPU time: 154.792 s c =============================================================================== c | 126 | 982 1344 294400 | 5000 126 758 | 0.000 % | c =============================================================================== c New solution: 4075 c Elapsed CPU time: 25.3771 s Remaining CPU time: 154.623 s c =============================================================================== c | 126 | 982 1345 295250 | 5000 126 758 | 0.000 % | c =============================================================================== c New solution: 4074 c Elapsed CPU time: 25.5421 s Remaining CPU time: 154.458 s c =============================================================================== c | 127 | 982 1346 296100 | 5000 127 758 | 0.000 % | c =============================================================================== c New solution: 4073 c Elapsed CPU time: 25.7141 s Remaining CPU time: 154.286 s c =============================================================================== c | 127 | 982 1347 296950 | 5000 127 758 | 0.000 % | c =============================================================================== c New solution: 4072 c Elapsed CPU time: 25.8911 s Remaining CPU time: 154.109 s c =============================================================================== c | 128 | 982 1348 297800 | 5000 128 758 | 0.000 % | c =============================================================================== c New solution: 4071 c Elapsed CPU time: 26.056 s Remaining CPU time: 153.944 s c =============================================================================== c | 128 | 982 1349 298650 | 5000 128 758 | 0.000 % | c =============================================================================== c New solution: 4070 c Elapsed CPU time: 26.217 s Remaining CPU time: 153.783 s c =============================================================================== c | 128 | 982 1350 299500 | 5000 128 758 | 0.000 % | c =============================================================================== c New solution: 4069 c Elapsed CPU time: 26.385 s Remaining CPU time: 153.615 s c =============================================================================== c | 128 | 982 1351 300350 | 5000 128 758 | 0.000 % | c =============================================================================== c New solution: 4068 c Elapsed CPU time: 26.554 s Remaining CPU time: 153.446 s c =============================================================================== c | 128 | 982 1352 301200 | 5000 128 758 | 0.000 % | c =============================================================================== c New solution: 4067 c Elapsed CPU time: 26.7259 s Remaining CPU time: 153.274 s c =============================================================================== c | 128 | 982 1353 302050 | 5000 128 758 | 0.000 % | c =============================================================================== c New solution: 4066 c Elapsed CPU time: 26.8969 s Remaining CPU time: 153.103 s c =============================================================================== c | 128 | 982 1354 302900 | 5000 128 758 | 0.000 % | c =============================================================================== c New solution: 4065 c Elapsed CPU time: 27.0749 s Remaining CPU time: 152.925 s c =============================================================================== c | 129 | 982 1355 303750 | 5000 129 758 | 0.000 % | c =============================================================================== c New solution: 4064 c Elapsed CPU time: 27.2489 s Remaining CPU time: 152.751 s c =============================================================================== c | 129 | 982 1356 304600 | 5000 129 758 | 0.000 % | c =============================================================================== c New solution: 4063 c Elapsed CPU time: 27.4278 s Remaining CPU time: 152.572 s c =============================================================================== c | 133 | 982 1357 305450 | 5000 133 758 | 0.000 % | c =============================================================================== c New solution: 4062 c Elapsed CPU time: 27.5998 s Remaining CPU time: 152.4 s c =============================================================================== c | 133 | 982 1358 306300 | 5000 133 758 | 0.000 % | c =============================================================================== c New solution: 4061 c Elapsed CPU time: 27.7668 s Remaining CPU time: 152.233 s c =============================================================================== c | 138 | 982 1359 307150 | 5000 138 759 | 0.000 % | c =============================================================================== c New solution: 4060 c Elapsed CPU time: 27.9388 s Remaining CPU time: 152.061 s c =============================================================================== c | 138 | 982 1360 308000 | 5000 138 759 | 0.000 % | c =============================================================================== c New solution: 4059 c Elapsed CPU time: 28.1107 s Remaining CPU time: 151.889 s c =============================================================================== c | 142 | 982 1361 308850 | 5000 142 759 | 0.000 % | c =============================================================================== c New solution: 4058 c Elapsed CPU time: 28.3057 s Remaining CPU time: 151.694 s c =============================================================================== c | 155 | 982 1362 309700 | 5000 155 759 | 0.000 % | c =============================================================================== c New solution: 4057 c Elapsed CPU time: 28.4787 s Remaining CPU time: 151.521 s c =============================================================================== c | 155 | 982 1363 310550 | 5000 155 759 | 0.000 % | c =============================================================================== c New solution: 4056 c Elapsed CPU time: 28.6456 s Remaining CPU time: 151.354 s c =============================================================================== c | 155 | 982 1364 311400 | 5000 155 759 | 0.000 % | c =============================================================================== c New solution: 4055 c Elapsed CPU time: 28.8196 s Remaining CPU time: 151.18 s c =============================================================================== c | 155 | 982 1365 312250 | 5000 155 759 | 0.000 % | c =============================================================================== c New solution: 4054 c Elapsed CPU time: 29.0056 s Remaining CPU time: 150.994 s c =============================================================================== c | 155 | 982 1366 313100 | 5000 155 759 | 0.000 % | c =============================================================================== c New solution: 4053 c Elapsed CPU time: 29.1816 s Remaining CPU time: 150.818 s c =============================================================================== c | 155 | 982 1367 313950 | 5000 155 759 | 0.000 % | c =============================================================================== c New solution: 4052 c Elapsed CPU time: 29.3505 s Remaining CPU time: 150.649 s c =============================================================================== c | 155 | 982 1368 314800 | 5000 155 759 | 0.000 % | c =============================================================================== c New solution: 4051 c Elapsed CPU time: 29.5495 s Remaining CPU time: 150.45 s c =============================================================================== c | 156 | 982 1369 315650 | 5000 156 760 | 0.000 % | c =============================================================================== c New solution: 4050 c Elapsed CPU time: 29.7325 s Remaining CPU time: 150.268 s c =============================================================================== c | 158 | 982 1370 316500 | 5000 158 760 | 0.000 % | c =============================================================================== c New solution: 4049 c Elapsed CPU time: 29.9285 s Remaining CPU time: 150.072 s c =============================================================================== c | 163 | 982 1371 317350 | 5000 163 760 | 0.000 % | c =============================================================================== c New solution: 4048 c Elapsed CPU time: 30.1034 s Remaining CPU time: 149.897 s c =============================================================================== c | 163 | 982 1372 318200 | 5000 163 760 | 0.000 % | c =============================================================================== c New solution: 4047 c Elapsed CPU time: 30.2834 s Remaining CPU time: 149.717 s c =============================================================================== c | 164 | 982 1373 319050 | 5000 164 760 | 0.000 % | c =============================================================================== c New solution: 4046 c Elapsed CPU time: 30.4724 s Remaining CPU time: 149.528 s c =============================================================================== c | 165 | 982 1374 319900 | 5000 165 760 | 0.000 % | c =============================================================================== c New solution: 4045 c Elapsed CPU time: 30.6513 s Remaining CPU time: 149.349 s c =============================================================================== c | 168 | 982 1375 320750 | 5000 168 760 | 0.000 % | c =============================================================================== c New solution: 4044 c Elapsed CPU time: 30.8363 s Remaining CPU time: 149.164 s c =============================================================================== c | 174 | 982 1376 321600 | 5000 174 760 | 0.000 % | c =============================================================================== c New solution: 4043 c Elapsed CPU time: 31.0153 s Remaining CPU time: 148.985 s c =============================================================================== c | 176 | 982 1377 322450 | 5000 176 760 | 0.000 % | c =============================================================================== c New solution: 4042 c Elapsed CPU time: 31.2153 s Remaining CPU time: 148.785 s c =============================================================================== c | 184 | 982 1378 323300 | 5000 184 760 | 0.000 % | c =============================================================================== c New solution: 4041 c Elapsed CPU time: 31.4102 s Remaining CPU time: 148.59 s c =============================================================================== c | 188 | 982 1379 324150 | 5000 188 760 | 0.000 % | c =============================================================================== c New solution: 4040 c Elapsed CPU time: 31.5822 s Remaining CPU time: 148.418 s c =============================================================================== c | 188 | 982 1380 325000 | 5000 188 760 | 0.000 % | c =============================================================================== c New solution: 4039 c Elapsed CPU time: 31.7672 s Remaining CPU time: 148.233 s c =============================================================================== c | 188 | 982 1381 325850 | 5000 188 760 | 0.000 % | c =============================================================================== c New solution: 4038 c Elapsed CPU time: 31.9541 s Remaining CPU time: 148.046 s c =============================================================================== c | 188 | 982 1382 326700 | 5000 188 760 | 0.000 % | c =============================================================================== c New solution: 4037 c Elapsed CPU time: 32.1411 s Remaining CPU time: 147.859 s c =============================================================================== c | 189 | 982 1383 327550 | 5000 189 760 | 0.000 % | c =============================================================================== c New solution: 4036 c Elapsed CPU time: 32.3211 s Remaining CPU time: 147.679 s c =============================================================================== c | 189 | 982 1384 328400 | 5000 189 760 | 0.000 % | c =============================================================================== c New solution: 4035 c Elapsed CPU time: 32.5091 s Remaining CPU time: 147.491 s c =============================================================================== c | 191 | 982 1385 329250 | 5000 191 760 | 0.000 % | c =============================================================================== c New solution: 4034 c Elapsed CPU time: 32.717 s Remaining CPU time: 147.283 s c =============================================================================== c | 209 | 982 1386 330100 | 5000 209 760 | 0.000 % | c =============================================================================== c New solution: 4033 c Elapsed CPU time: 32.977 s Remaining CPU time: 147.023 s c =============================================================================== c | 219 | 982 1387 330950 | 5000 219 760 | 0.000 % | c =============================================================================== c New solution: 4032 c Elapsed CPU time: 33.157 s Remaining CPU time: 146.843 s c =============================================================================== c | 219 | 982 1388 331800 | 5000 219 760 | 0.000 % | c =============================================================================== c New solution: 4031 c Elapsed CPU time: 33.3409 s Remaining CPU time: 146.659 s c =============================================================================== c | 221 | 982 1389 332650 | 5000 221 760 | 0.000 % | c =============================================================================== c New solution: 4030 c Elapsed CPU time: 33.5199 s Remaining CPU time: 146.48 s c =============================================================================== c | 221 | 982 1390 333500 | 5000 221 760 | 0.000 % | c =============================================================================== c New solution: 4029 c Elapsed CPU time: 33.7109 s Remaining CPU time: 146.289 s c =============================================================================== c | 221 | 982 1391 334350 | 5000 221 760 | 0.000 % | c =============================================================================== c New solution: 4028 c Elapsed CPU time: 33.9038 s Remaining CPU time: 146.096 s c =============================================================================== c | 221 | 982 1392 335200 | 5000 221 760 | 0.000 % | c =============================================================================== c New solution: 4027 c Elapsed CPU time: 34.0868 s Remaining CPU time: 145.913 s c =============================================================================== c | 221 | 982 1393 336050 | 5000 221 760 | 0.000 % | c =============================================================================== c New solution: 4026 c Elapsed CPU time: 34.2708 s Remaining CPU time: 145.729 s c =============================================================================== c | 221 | 982 1394 336900 | 5000 221 760 | 0.000 % | c =============================================================================== c New solution: 4025 c Elapsed CPU time: 34.4638 s Remaining CPU time: 145.536 s c =============================================================================== c | 221 | 982 1395 337750 | 5000 221 760 | 0.000 % | c =============================================================================== c New solution: 4024 c Elapsed CPU time: 34.6487 s Remaining CPU time: 145.351 s c =============================================================================== c | 221 | 982 1396 338600 | 5000 221 760 | 0.000 % | c =============================================================================== c New solution: 4023 c Elapsed CPU time: 34.8447 s Remaining CPU time: 145.155 s c =============================================================================== c | 221 | 982 1397 339450 | 5000 221 760 | 0.000 % | c =============================================================================== c New solution: 4022 c Elapsed CPU time: 35.0277 s Remaining CPU time: 144.972 s c =============================================================================== c | 222 | 982 1398 340300 | 5000 222 760 | 0.000 % | c =============================================================================== c New solution: 4021 c Elapsed CPU time: 35.2206 s Remaining CPU time: 144.779 s c =============================================================================== c | 222 | 982 1399 341150 | 5000 222 760 | 0.000 % | c =============================================================================== c New solution: 4020 c Elapsed CPU time: 35.4176 s Remaining CPU time: 144.582 s c =============================================================================== c | 223 | 982 1400 342000 | 5000 223 760 | 0.000 % | c =============================================================================== c New solution: 4019 c Elapsed CPU time: 35.6216 s Remaining CPU time: 144.378 s c =============================================================================== c | 229 | 982 1401 342850 | 5000 229 760 | 0.000 % | c =============================================================================== c New solution: 4018 c Elapsed CPU time: 35.8126 s Remaining CPU time: 144.187 s c =============================================================================== c | 229 | 982 1402 343700 | 5000 229 760 | 0.000 % | c =============================================================================== c New solution: 4017 c Elapsed CPU time: 36.0015 s Remaining CPU time: 143.998 s c =============================================================================== c | 229 | 982 1403 344550 | 5000 229 760 | 0.000 % | c =============================================================================== c New solution: 4016 c Elapsed CPU time: 36.2005 s Remaining CPU time: 143.8 s c =============================================================================== c | 229 | 982 1404 345400 | 5000 229 760 | 0.000 % | c =============================================================================== c New solution: 4015 c Elapsed CPU time: 36.4105 s Remaining CPU time: 143.59 s c =============================================================================== c | 232 | 982 1405 346250 | 5000 232 760 | 0.000 % | c =============================================================================== c New solution: 4014 c Elapsed CPU time: 36.6024 s Remaining CPU time: 143.398 s c =============================================================================== c | 232 | 982 1406 347100 | 5000 232 760 | 0.000 % | c =============================================================================== c New solution: 4013 c Elapsed CPU time: 36.7914 s Remaining CPU time: 143.209 s c =============================================================================== c | 232 | 982 1407 347950 | 5000 232 760 | 0.000 % | c =============================================================================== c New solution: 4012 c Elapsed CPU time: 36.9844 s Remaining CPU time: 143.016 s c =============================================================================== c | 232 | 982 1408 348800 | 5000 232 760 | 0.000 % | c =============================================================================== c New solution: 4011 c Elapsed CPU time: 37.1743 s Remaining CPU time: 142.826 s c =============================================================================== c | 232 | 982 1409 349650 | 5000 232 760 | 0.000 % | c =============================================================================== c New solution: 4010 c Elapsed CPU time: 37.3743 s Remaining CPU time: 142.626 s c =============================================================================== c | 232 | 982 1410 350500 | 5000 232 760 | 0.000 % | c =============================================================================== c New solution: 4009 c Elapsed CPU time: 37.5593 s Remaining CPU time: 142.441 s c =============================================================================== c | 232 | 982 1411 351350 | 5000 232 760 | 0.000 % | c =============================================================================== c New solution: 4008 c Elapsed CPU time: 37.7633 s Remaining CPU time: 142.237 s c =============================================================================== c | 233 | 982 1412 352200 | 5000 233 757 | 0.000 % | c =============================================================================== c New solution: 4007 c Elapsed CPU time: 37.9722 s Remaining CPU time: 142.028 s c =============================================================================== c | 238 | 982 1413 353050 | 5000 238 757 | 0.000 % | c =============================================================================== c New solution: 4006 c Elapsed CPU time: 38.1722 s Remaining CPU time: 141.828 s c =============================================================================== c | 238 | 982 1414 353900 | 5000 238 757 | 0.000 % | c =============================================================================== c New solution: 4005 c Elapsed CPU time: 38.3772 s Remaining CPU time: 141.623 s c =============================================================================== c | 246 | 982 1415 354750 | 5000 246 757 | 0.000 % | c =============================================================================== c New solution: 4004 c Elapsed CPU time: 38.5821 s Remaining CPU time: 141.418 s c =============================================================================== c | 246 | 982 1416 355600 | 5000 246 757 | 0.000 % | c =============================================================================== c New solution: 4003 c Elapsed CPU time: 38.8021 s Remaining CPU time: 141.198 s c =============================================================================== c | 252 | 982 1417 356450 | 5000 252 757 | 0.000 % | c =============================================================================== c New solution: 4002 c Elapsed CPU time: 38.9961 s Remaining CPU time: 141.004 s c =============================================================================== c | 252 | 982 1418 357300 | 5000 252 757 | 0.000 % | c =============================================================================== c New solution: 4001 c Elapsed CPU time: 39.199 s Remaining CPU time: 140.801 s c =============================================================================== c | 253 | 982 1419 358150 | 5000 253 757 | 0.000 % | c =============================================================================== c New solution: 4000 c Elapsed CPU time: 39.407 s Remaining CPU time: 140.593 s c =============================================================================== c | 253 | 982 1420 359000 | 5000 253 757 | 0.000 % | c =============================================================================== c New solution: 3999 c Elapsed CPU time: 39.612 s Remaining CPU time: 140.388 s c =============================================================================== c | 253 | 982 1421 359850 | 5000 253 757 | 0.000 % | c =============================================================================== c New solution: 3998 c Elapsed CPU time: 39.8149 s Remaining CPU time: 140.185 s c =============================================================================== c | 253 | 982 1422 360700 | 5000 253 757 | 0.000 % | c =============================================================================== c New solution: 3997 c Elapsed CPU time: 40.0199 s Remaining CPU time: 139.98 s c =============================================================================== c | 253 | 982 1423 361550 | 5000 253 757 | 0.000 % | c =============================================================================== c New solution: 3996 c Elapsed CPU time: 40.2189 s Remaining CPU time: 139.781 s c =============================================================================== c | 253 | 982 1424 362400 | 5000 253 757 | 0.000 % | c =============================================================================== c New solution: 3995 c Elapsed CPU time: 40.4159 s Remaining CPU time: 139.584 s c =============================================================================== c | 254 | 982 1425 363250 | 5000 254 757 | 0.000 % | c =============================================================================== c New solution: 3994 c Elapsed CPU time: 40.6228 s Remaining CPU time: 139.377 s c =============================================================================== c | 254 | 982 1426 364100 | 5000 254 757 | 0.000 % | c =============================================================================== c New solution: 3993 c Elapsed CPU time: 40.8308 s Remaining CPU time: 139.169 s c =============================================================================== c | 254 | 982 1427 364950 | 5000 254 757 | 0.000 % | c =============================================================================== c New solution: 3992 c Elapsed CPU time: 41.0478 s Remaining CPU time: 138.952 s c =============================================================================== c | 262 | 982 1428 365800 | 5000 262 757 | 0.000 % | c =============================================================================== c New solution: 3991 c Elapsed CPU time: 41.2547 s Remaining CPU time: 138.745 s c =============================================================================== c | 262 | 982 1429 366650 | 5000 262 757 | 0.000 % | c =============================================================================== c New solution: 3990 c Elapsed CPU time: 41.4697 s Remaining CPU time: 138.53 s c =============================================================================== c | 262 | 982 1430 367500 | 5000 262 757 | 0.000 % | c =============================================================================== c New solution: 3989 c Elapsed CPU time: 41.6687 s Remaining CPU time: 138.331 s c =============================================================================== c | 262 | 982 1431 368350 | 5000 262 757 | 0.000 % | c =============================================================================== c New solution: 3988 c Elapsed CPU time: 41.8796 s Remaining CPU time: 138.12 s c =============================================================================== c | 262 | 982 1432 369200 | 5000 262 757 | 0.000 % | c =============================================================================== c New solution: 3987 c Elapsed CPU time: 42.0896 s Remaining CPU time: 137.91 s c =============================================================================== c | 264 | 982 1433 370050 | 5000 264 757 | 0.000 % | c =============================================================================== c New solution: 3986 c Elapsed CPU time: 42.2946 s Remaining CPU time: 137.705 s c =============================================================================== c | 265 | 982 1434 370900 | 5000 265 757 | 0.000 % | c =============================================================================== c New solution: 3985 c Elapsed CPU time: 42.5025 s Remaining CPU time: 137.497 s c =============================================================================== c | 266 | 982 1435 371750 | 5000 266 757 | 0.000 % | c =============================================================================== c New solution: 3984 c Elapsed CPU time: 42.7165 s Remaining CPU time: 137.283 s c =============================================================================== c | 267 | 982 1436 372600 | 5000 267 757 | 0.000 % | c =============================================================================== c New solution: 3983 c Elapsed CPU time: 42.9235 s Remaining CPU time: 137.077 s c =============================================================================== c | 267 | 982 1437 373450 | 5000 267 757 | 0.000 % | c =============================================================================== c New solution: 3982 c Elapsed CPU time: 43.1464 s Remaining CPU time: 136.854 s c =============================================================================== c | 270 | 982 1438 374300 | 5000 270 757 | 0.000 % | c =============================================================================== c New solution: 3981 c Elapsed CPU time: 43.3714 s Remaining CPU time: 136.629 s c =============================================================================== c | 270 | 982 1439 375150 | 5000 270 757 | 0.000 % | c =============================================================================== c New solution: 3980 c Elapsed CPU time: 43.6124 s Remaining CPU time: 136.388 s c =============================================================================== c | 278 | 982 1440 376000 | 5000 278 757 | 0.000 % | c =============================================================================== c New solution: 3979 c Elapsed CPU time: 43.8313 s Remaining CPU time: 136.169 s c =============================================================================== c | 280 | 982 1441 376850 | 5000 280 757 | 0.000 % | c =============================================================================== c New solution: 3978 c Elapsed CPU time: 44.0493 s Remaining CPU time: 135.951 s c =============================================================================== c | 280 | 982 1442 377700 | 5000 280 757 | 0.000 % | c =============================================================================== c New solution: 3977 c Elapsed CPU time: 44.2633 s Remaining CPU time: 135.737 s c =============================================================================== c | 280 | 982 1443 378550 | 5000 280 757 | 0.000 % | c =============================================================================== c New solution: 3976 c Elapsed CPU time: 44.4692 s Remaining CPU time: 135.531 s c =============================================================================== c | 280 | 982 1444 379400 | 5000 280 757 | 0.000 % | c =============================================================================== c New solution: 3975 c Elapsed CPU time: 44.6972 s Remaining CPU time: 135.303 s c =============================================================================== c | 281 | 982 1445 380250 | 5000 281 757 | 0.000 % | c =============================================================================== c New solution: 3974 c Elapsed CPU time: 44.9112 s Remaining CPU time: 135.089 s c =============================================================================== c | 281 | 982 1446 381100 | 5000 281 757 | 0.000 % | c =============================================================================== c New solution: 3973 c Elapsed CPU time: 45.1221 s Remaining CPU time: 134.878 s c =============================================================================== c | 281 | 982 1447 381950 | 5000 281 757 | 0.000 % | c =============================================================================== c New solution: 3972 c Elapsed CPU time: 45.3281 s Remaining CPU time: 134.672 s c =============================================================================== c | 282 | 982 1448 382800 | 5000 282 757 | 0.000 % | c =============================================================================== c New solution: 3971 c Elapsed CPU time: 45.6171 s Remaining CPU time: 134.383 s c =============================================================================== c | 298 | 982 1449 383650 | 5000 298 756 | 0.000 % | c =============================================================================== c New solution: 3970 c Elapsed CPU time: 45.851 s Remaining CPU time: 134.149 s c =============================================================================== c | 303 | 982 1450 384500 | 5000 303 756 | 0.000 % | c =============================================================================== c New solution: 3969 c Elapsed CPU time: 46.08 s Remaining CPU time: 133.92 s c =============================================================================== c | 308 | 982 1451 385350 | 5000 308 756 | 0.000 % | c =============================================================================== c New solution: 3968 c Elapsed CPU time: 46.299 s Remaining CPU time: 133.701 s c =============================================================================== c | 308 | 982 1452 386200 | 5000 308 756 | 0.000 % | c =============================================================================== c New solution: 3967 c Elapsed CPU time: 46.5179 s Remaining CPU time: 133.482 s c =============================================================================== c | 310 | 982 1453 387050 | 5000 310 756 | 0.000 % | c =============================================================================== c New solution: 3966 c Elapsed CPU time: 46.7649 s Remaining CPU time: 133.235 s c =============================================================================== c | 315 | 982 1454 387900 | 5000 315 756 | 0.000 % | c =============================================================================== c New solution: 3965 c Elapsed CPU time: 46.9899 s Remaining CPU time: 133.01 s c =============================================================================== c | 316 | 982 1455 388750 | 5000 316 756 | 0.000 % | c =============================================================================== c New solution: 3964 c Elapsed CPU time: 47.2118 s Remaining CPU time: 132.788 s c =============================================================================== c | 316 | 982 1456 389600 | 5000 316 756 | 0.000 % | c =============================================================================== c New solution: 3963 c Elapsed CPU time: 47.4338 s Remaining CPU time: 132.566 s c =============================================================================== c | 316 | 982 1457 390450 | 5000 316 756 | 0.000 % | c =============================================================================== c New solution: 3962 c Elapsed CPU time: 47.6598 s Remaining CPU time: 132.34 s c =============================================================================== c | 317 | 982 1458 391300 | 5000 317 756 | 0.000 % | c =============================================================================== c New solution: 3961 c Elapsed CPU time: 47.8777 s Remaining CPU time: 132.122 s c =============================================================================== c | 317 | 982 1459 392150 | 5000 317 756 | 0.000 % | c =============================================================================== c New solution: 3960 c Elapsed CPU time: 48.1167 s Remaining CPU time: 131.883 s c =============================================================================== c | 320 | 982 1460 393000 | 5000 320 756 | 0.000 % | c =============================================================================== c New solution: 3959 c Elapsed CPU time: 48.3387 s Remaining CPU time: 131.661 s c =============================================================================== c | 320 | 982 1461 393850 | 5000 320 756 | 0.000 % | c =============================================================================== c New solution: 3958 c Elapsed CPU time: 48.5746 s Remaining CPU time: 131.425 s c =============================================================================== c | 322 | 982 1462 394700 | 5000 322 756 | 0.000 % | c =============================================================================== c New solution: 3957 c Elapsed CPU time: 48.8606 s Remaining CPU time: 131.139 s c =============================================================================== c | 342 | 982 1463 395550 | 5000 342 755 | 0.000 % | c =============================================================================== c New solution: 3956 c Elapsed CPU time: 49.1005 s Remaining CPU time: 130.899 s c =============================================================================== c | 346 | 982 1464 396400 | 5000 346 753 | 0.000 % | c =============================================================================== c New solution: 3955 c Elapsed CPU time: 49.3435 s Remaining CPU time: 130.657 s c =============================================================================== c | 350 | 982 1465 397250 | 5000 350 753 | 0.000 % | c =============================================================================== c New solution: 3954 c Elapsed CPU time: 49.5765 s Remaining CPU time: 130.424 s c =============================================================================== c | 352 | 982 1466 398100 | 5000 352 753 | 0.000 % | c =============================================================================== c New solution: 3953 c Elapsed CPU time: 49.8114 s Remaining CPU time: 130.189 s c =============================================================================== c | 356 | 982 1467 398950 | 5000 356 753 | 0.000 % | c =============================================================================== c New solution: 3952 c Elapsed CPU time: 50.0394 s Remaining CPU time: 129.961 s c =============================================================================== c | 356 | 982 1468 399800 | 5000 356 753 | 0.000 % | c =============================================================================== c New solution: 3951 c Elapsed CPU time: 50.2664 s Remaining CPU time: 129.734 s c =============================================================================== c | 356 | 982 1469 400650 | 5000 356 753 | 0.000 % | c =============================================================================== c New solution: 3950 c Elapsed CPU time: 50.4973 s Remaining CPU time: 129.503 s c =============================================================================== c | 360 | 982 1470 401500 | 5000 360 753 | 0.000 % | c =============================================================================== c New solution: 3949 c Elapsed CPU time: 50.7233 s Remaining CPU time: 129.277 s c =============================================================================== c | 360 | 982 1471 402350 | 5000 360 753 | 0.000 % | c =============================================================================== c New solution: 3948 c Elapsed CPU time: 50.9473 s Remaining CPU time: 129.053 s c =============================================================================== c | 360 | 982 1472 403200 | 5000 360 753 | 0.000 % | c =============================================================================== c New solution: 3947 c Elapsed CPU time: 51.1772 s Remaining CPU time: 128.823 s c =============================================================================== c | 360 | 982 1473 404050 | 5000 360 753 | 0.000 % | c =============================================================================== c New solution: 3946 c Elapsed CPU time: 51.4052 s Remaining CPU time: 128.595 s c =============================================================================== c | 360 | 982 1474 404900 | 5000 360 753 | 0.000 % | c =============================================================================== c New solution: 3945 c Elapsed CPU time: 51.6411 s Remaining CPU time: 128.359 s c =============================================================================== c | 360 | 982 1475 405750 | 5000 360 753 | 0.000 % | c =============================================================================== c New solution: 3944 c Elapsed CPU time: 51.8721 s Remaining CPU time: 128.128 s c =============================================================================== c | 360 | 982 1476 406600 | 5000 360 753 | 0.000 % | c =============================================================================== c New solution: 3943 c Elapsed CPU time: 52.1231 s Remaining CPU time: 127.877 s c =============================================================================== c | 363 | 982 1477 407450 | 5000 363 753 | 0.000 % | c =============================================================================== c New solution: 3942 c Elapsed CPU time: 52.364 s Remaining CPU time: 127.636 s c =============================================================================== c | 366 | 982 1478 408300 | 5000 366 753 | 0.000 % | c =============================================================================== c New solution: 3941 c Elapsed CPU time: 52.614 s Remaining CPU time: 127.386 s c =============================================================================== c | 372 | 982 1479 409150 | 5000 372 753 | 0.000 % | c =============================================================================== c New solution: 3940 c Elapsed CPU time: 52.86 s Remaining CPU time: 127.14 s c =============================================================================== c | 377 | 982 1480 410000 | 5000 377 753 | 0.000 % | c =============================================================================== c New solution: 3939 c Elapsed CPU time: 53.1679 s Remaining CPU time: 126.832 s c =============================================================================== c | 391 | 982 1481 410850 | 5000 391 752 | 0.000 % | c =============================================================================== c New solution: 3938 c Elapsed CPU time: 53.4039 s Remaining CPU time: 126.596 s c =============================================================================== c | 394 | 982 1482 411700 | 5000 394 752 | 0.000 % | c =============================================================================== c New solution: 3937 c Elapsed CPU time: 53.7428 s Remaining CPU time: 126.257 s c =============================================================================== c | 431 | 982 1483 412550 | 5000 431 752 | 0.000 % | c =============================================================================== c New solution: 3936 c Elapsed CPU time: 53.9848 s Remaining CPU time: 126.015 s c =============================================================================== c | 434 | 982 1484 413400 | 5000 434 752 | 0.000 % | c =============================================================================== c New solution: 3935 c Elapsed CPU time: 54.2707 s Remaining CPU time: 125.729 s c =============================================================================== c | 448 | 982 1485 414250 | 5000 448 751 | 0.000 % | c =============================================================================== c New solution: 3934 c Elapsed CPU time: 54.4977 s Remaining CPU time: 125.502 s c =============================================================================== c | 448 | 982 1486 415100 | 5000 448 751 | 0.000 % | c =============================================================================== c New solution: 3933 c Elapsed CPU time: 54.7357 s Remaining CPU time: 125.264 s c =============================================================================== c | 448 | 982 1487 415950 | 5000 448 751 | 0.000 % | c =============================================================================== c New solution: 3932 c Elapsed CPU time: 55.0056 s Remaining CPU time: 124.994 s c =============================================================================== c | 455 | 982 1488 416800 | 5000 455 751 | 0.000 % | c =============================================================================== c New solution: 3931 c Elapsed CPU time: 55.2346 s Remaining CPU time: 124.765 s c =============================================================================== c | 455 | 982 1489 417650 | 5000 455 751 | 0.000 % | c =============================================================================== c New solution: 3930 c Elapsed CPU time: 55.4666 s Remaining CPU time: 124.533 s c =============================================================================== c | 455 | 982 1490 418500 | 5000 455 751 | 0.000 % | c =============================================================================== c New solution: 3929 c Elapsed CPU time: 55.7045 s Remaining CPU time: 124.295 s c =============================================================================== c | 455 | 982 1491 419350 | 5000 455 751 | 0.000 % | c =============================================================================== c New solution: 3928 c Elapsed CPU time: 55.9445 s Remaining CPU time: 124.056 s c =============================================================================== c | 456 | 982 1492 420200 | 5000 456 751 | 0.000 % | c =============================================================================== c New solution: 3927 c Elapsed CPU time: 56.2245 s Remaining CPU time: 123.776 s c =============================================================================== c | 465 | 982 1493 421050 | 5000 465 751 | 0.000 % | c =============================================================================== c New solution: 3926 c Elapsed CPU time: 56.4664 s Remaining CPU time: 123.534 s c =============================================================================== c | 466 | 982 1494 421900 | 5000 466 751 | 0.000 % | c =============================================================================== c New solution: 3925 c Elapsed CPU time: 56.7034 s Remaining CPU time: 123.297 s c =============================================================================== c | 466 | 982 1495 422750 | 5000 466 751 | 0.000 % | c =============================================================================== c New solution: 3924 c Elapsed CPU time: 56.9443 s Remaining CPU time: 123.056 s c =============================================================================== c | 469 | 982 1496 423600 | 5000 469 751 | 0.000 % | c =============================================================================== c New solution: 3923 c Elapsed CPU time: 57.1923 s Remaining CPU time: 122.808 s c =============================================================================== c | 471 | 982 1497 424450 | 5000 471 751 | 0.000 % | c =============================================================================== c New solution: 3922 c Elapsed CPU time: 57.4243 s Remaining CPU time: 122.576 s c =============================================================================== c | 471 | 982 1498 425300 | 5000 471 751 | 0.000 % | c =============================================================================== c New solution: 3921 c Elapsed CPU time: 57.6612 s Remaining CPU time: 122.339 s c =============================================================================== c | 472 | 982 1499 426150 | 5000 472 751 | 0.000 % | c =============================================================================== c New solution: 3920 c Elapsed CPU time: 57.9092 s Remaining CPU time: 122.091 s c =============================================================================== c | 472 | 982 1500 427000 | 5000 472 751 | 0.000 % | c =============================================================================== c New solution: 3919 c Elapsed CPU time: 58.1542 s Remaining CPU time: 121.846 s c =============================================================================== c | 472 | 982 1501 427850 | 5000 472 751 | 0.000 % | c =============================================================================== c New solution: 3918 c Elapsed CPU time: 58.3921 s Remaining CPU time: 121.608 s c =============================================================================== c | 472 | 982 1502 428700 | 5000 472 751 | 0.000 % | c =============================================================================== c New solution: 3917 c Elapsed CPU time: 58.6411 s Remaining CPU time: 121.359 s c =============================================================================== c | 472 | 982 1503 429550 | 5000 472 751 | 0.000 % | c =============================================================================== c New solution: 3916 c Elapsed CPU time: 58.886 s Remaining CPU time: 121.114 s c =============================================================================== c | 472 | 982 1504 430400 | 5000 472 751 | 0.000 % | c =============================================================================== c New solution: 3915 c Elapsed CPU time: 59.229 s Remaining CPU time: 120.771 s c =============================================================================== c | 483 | 982 1505 431250 | 5000 483 751 | 0.000 % | c =============================================================================== c New solution: 3914 c Elapsed CPU time: 59.477 s Remaining CPU time: 120.523 s c =============================================================================== c | 483 | 982 1506 432100 | 5000 483 751 | 0.000 % | c =============================================================================== c New solution: 3913 c Elapsed CPU time: 59.7299 s Remaining CPU time: 120.27 s c =============================================================================== c | 483 | 982 1507 432950 | 5000 483 751 | 0.000 % | c =============================================================================== c New solution: 3912 c Elapsed CPU time: 60.0799 s Remaining CPU time: 119.92 s c =============================================================================== c | 501 | 982 1508 433800 | 5000 501 751 | 0.000 % | c =============================================================================== c New solution: 3911 c Elapsed CPU time: 60.3178 s Remaining CPU time: 119.682 s c =============================================================================== c | 501 | 982 1509 434650 | 5000 501 751 | 0.000 % | c =============================================================================== c New solution: 3910 c Elapsed CPU time: 60.5578 s Remaining CPU time: 119.442 s c =============================================================================== c | 501 | 982 1510 435500 | 5000 501 751 | 0.000 % | c =============================================================================== c New solution: 3909 c Elapsed CPU time: 60.9407 s Remaining CPU time: 119.059 s c =============================================================================== c | 527 | 982 1511 436350 | 5000 527 750 | 0.000 % | c =============================================================================== c New solution: 3908 c Elapsed CPU time: 61.1937 s Remaining CPU time: 118.806 s c =============================================================================== c | 527 | 982 1512 437200 | 5000 527 750 | 0.000 % | c =============================================================================== c New solution: 3907 c Elapsed CPU time: 61.4557 s Remaining CPU time: 118.544 s c =============================================================================== c | 529 | 982 1513 438050 | 5000 529 750 | 0.000 % | c =============================================================================== c New solution: 3906 c Elapsed CPU time: 61.7166 s Remaining CPU time: 118.283 s c =============================================================================== c | 530 | 982 1514 438900 | 5000 530 750 | 0.000 % | c =============================================================================== c New solution: 3905 c Elapsed CPU time: 61.9686 s Remaining CPU time: 118.031 s c =============================================================================== c | 531 | 982 1515 439750 | 5000 531 750 | 0.000 % | c =============================================================================== c New solution: 3904 c Elapsed CPU time: 62.2185 s Remaining CPU time: 117.781 s c =============================================================================== c | 531 | 982 1516 440600 | 5000 531 750 | 0.000 % | c =============================================================================== c New solution: 3903 c Elapsed CPU time: 62.4905 s Remaining CPU time: 117.51 s c =============================================================================== c | 533 | 982 1517 441450 | 5000 533 750 | 0.000 % | c =============================================================================== c New solution: 3902 c Elapsed CPU time: 62.7435 s Remaining CPU time: 117.257 s c =============================================================================== c | 533 | 982 1518 442300 | 5000 533 750 | 0.000 % | c =============================================================================== c New solution: 3901 c Elapsed CPU time: 62.9994 s Remaining CPU time: 117.001 s c =============================================================================== c | 533 | 982 1519 443150 | 5000 533 750 | 0.000 % | c =============================================================================== c New solution: 3900 c Elapsed CPU time: 63.2454 s Remaining CPU time: 116.755 s c =============================================================================== c | 533 | 982 1520 444000 | 5000 533 750 | 0.000 % | c =============================================================================== c New solution: 3899 c Elapsed CPU time: 63.4873 s Remaining CPU time: 116.513 s c =============================================================================== c | 533 | 982 1521 444850 | 5000 533 750 | 0.000 % | c =============================================================================== c New solution: 3898 c Elapsed CPU time: 63.7443 s Remaining CPU time: 116.256 s c =============================================================================== c | 533 | 982 1522 445700 | 5000 533 750 | 0.000 % | c =============================================================================== c New solution: 3897 c Elapsed CPU time: 64.0093 s Remaining CPU time: 115.991 s c =============================================================================== c | 534 | 982 1523 446550 | 5000 534 750 | 0.000 % | c =============================================================================== c New solution: 3896 c Elapsed CPU time: 64.2612 s Remaining CPU time: 115.739 s c =============================================================================== c | 535 | 982 1524 447400 | 5000 535 750 | 0.000 % | c =============================================================================== c New solution: 3895 c Elapsed CPU time: 64.5182 s Remaining CPU time: 115.482 s c =============================================================================== c | 535 | 982 1525 448250 | 5000 535 750 | 0.000 % | c =============================================================================== c New solution: 3894 c Elapsed CPU time: 64.7981 s Remaining CPU time: 115.202 s c =============================================================================== c | 551 | 982 1526 449100 | 5000 551 750 | 0.000 % | c =============================================================================== c New solution: 3893 c Elapsed CPU time: 65.0581 s Remaining CPU time: 114.942 s c =============================================================================== c | 554 | 982 1527 449950 | 5000 554 749 | 0.000 % | c =============================================================================== c New solution: 3892 c Elapsed CPU time: 65.3221 s Remaining CPU time: 114.678 s c =============================================================================== c | 554 | 982 1528 450800 | 5000 554 749 | 0.000 % | c =============================================================================== c New solution: 3891 c Elapsed CPU time: 65.591 s Remaining CPU time: 114.409 s c =============================================================================== c | 555 | 982 1529 451650 | 5000 555 749 | 0.000 % | c =============================================================================== c New solution: 3890 c Elapsed CPU time: 65.994 s Remaining CPU time: 114.006 s c =============================================================================== c | 596 | 982 1530 452500 | 5000 596 749 | 0.000 % | c =============================================================================== c New solution: 3889 c Elapsed CPU time: 66.3079 s Remaining CPU time: 113.692 s c =============================================================================== c | 602 | 982 1531 453350 | 5000 602 748 | 0.000 % | c =============================================================================== c New solution: 3888 c Elapsed CPU time: 66.5869 s Remaining CPU time: 113.413 s c =============================================================================== c | 608 | 982 1532 454200 | 5000 608 748 | 0.000 % | c =============================================================================== c New solution: 3887 c Elapsed CPU time: 66.9158 s Remaining CPU time: 113.084 s c =============================================================================== c | 626 | 982 1533 455050 | 5000 626 748 | 0.000 % | c =============================================================================== c New solution: 3886 c Elapsed CPU time: 67.2178 s Remaining CPU time: 112.782 s c =============================================================================== c | 633 | 982 1534 455900 | 5000 633 748 | 0.000 % | c =============================================================================== c New solution: 3885 c Elapsed CPU time: 67.5057 s Remaining CPU time: 112.494 s c =============================================================================== c | 637 | 982 1535 456750 | 5000 637 748 | 0.000 % | c =============================================================================== c New solution: 3884 c Elapsed CPU time: 67.7677 s Remaining CPU time: 112.232 s c =============================================================================== c | 637 | 982 1536 457600 | 5000 637 748 | 0.000 % | c =============================================================================== c New solution: 3883 c Elapsed CPU time: 68.0307 s Remaining CPU time: 111.969 s c =============================================================================== c | 637 | 982 1537 458450 | 5000 637 748 | 0.000 % | c =============================================================================== c New solution: 3882 c Elapsed CPU time: 68.2916 s Remaining CPU time: 111.708 s c =============================================================================== c | 637 | 982 1538 459300 | 5000 637 748 | 0.000 % | c =============================================================================== c New solution: 3881 c Elapsed CPU time: 68.5626 s Remaining CPU time: 111.437 s c =============================================================================== c | 641 | 982 1539 460150 | 5000 641 748 | 0.000 % | c =============================================================================== c New solution: 3880 c Elapsed CPU time: 68.8535 s Remaining CPU time: 111.146 s c =============================================================================== c | 646 | 982 1540 461000 | 5000 646 747 | 0.000 % | c =============================================================================== c New solution: 3879 c Elapsed CPU time: 69.1265 s Remaining CPU time: 110.874 s c =============================================================================== c | 648 | 982 1541 461850 | 5000 648 747 | 0.000 % | c =============================================================================== c New solution: 3878 c Elapsed CPU time: 69.3984 s Remaining CPU time: 110.602 s c =============================================================================== c | 651 | 982 1542 462700 | 5000 651 747 | 0.000 % | c =============================================================================== c New solution: 3877 c Elapsed CPU time: 69.6724 s Remaining CPU time: 110.328 s c =============================================================================== c | 653 | 982 1543 463550 | 5000 653 747 | 0.000 % | c =============================================================================== c New solution: 3876 c Elapsed CPU time: 69.9324 s Remaining CPU time: 110.068 s c =============================================================================== c | 653 | 982 1544 464400 | 5000 653 747 | 0.000 % | c | 753 | 982 1544 464400 | 5500 753 746 | 1.800 % | c =============================================================================== c New solution: 3875 c Elapsed CPU time: 70.8662 s Remaining CPU time: 109.134 s c =============================================================================== c | 762 | 982 1545 465250 | 5000 762 744 | 1.800 % | c =============================================================================== c New solution: 3874 c Elapsed CPU time: 71.4861 s Remaining CPU time: 108.514 s c =============================================================================== c | 853 | 982 1546 466100 | 5000 853 743 | 1.800 % | c =============================================================================== c New solution: 3873 c Elapsed CPU time: 71.9171 s Remaining CPU time: 108.083 s c =============================================================================== c | 878 | 982 1547 466950 | 5000 878 743 | 1.800 % | c | 978 | 982 1547 466950 | 5500 978 742 | 1.800 % | c =============================================================================== c New solution: 3872 c Elapsed CPU time: 72.9859 s Remaining CPU time: 107.014 s c =============================================================================== c | 1000 | 982 1548 467800 | 5000 1000 741 | 1.800 % | c =============================================================================== c New solution: 3871 c Elapsed CPU time: 73.2969 s Remaining CPU time: 106.703 s c =============================================================================== c | 1008 | 982 1549 468650 | 5000 1008 741 | 1.800 % | c =============================================================================== c New solution: 3870 c Elapsed CPU time: 73.5648 s Remaining CPU time: 106.435 s c =============================================================================== c | 1008 | 982 1550 469500 | 5000 1008 741 | 1.800 % | c =============================================================================== c New solution: 3869 c Elapsed CPU time: 73.9648 s Remaining CPU time: 106.035 s c =============================================================================== c | 1031 | 982 1551 470350 | 5000 1031 741 | 1.800 % | c =============================================================================== c New solution: 3868 c Elapsed CPU time: 74.2537 s Remaining CPU time: 105.746 s c =============================================================================== c | 1034 | 982 1552 471200 | 5000 1034 741 | 1.800 % | c =============================================================================== c New solution: 3867 c Elapsed CPU time: 74.5207 s Remaining CPU time: 105.479 s c =============================================================================== c | 1034 | 982 1553 472050 | 5000 1034 741 | 1.800 % | c =============================================================================== c New solution: 3866 c Elapsed CPU time: 74.7896 s Remaining CPU time: 105.21 s c =============================================================================== c | 1036 | 982 1554 472900 | 5000 1036 741 | 1.800 % | c =============================================================================== c New solution: 3865 c Elapsed CPU time: 75.1786 s Remaining CPU time: 104.821 s c =============================================================================== c | 1047 | 982 1555 473750 | 5000 1047 741 | 1.800 % | c =============================================================================== c New solution: 3864 c Elapsed CPU time: 75.4635 s Remaining CPU time: 104.536 s c =============================================================================== c | 1052 | 982 1556 474600 | 5000 1052 741 | 1.800 % | c =============================================================================== c New solution: 3863 c Elapsed CPU time: 75.6795 s Remaining CPU time: 104.321 s c =============================================================================== c | 1053 | 982 1557 475450 | 5000 1053 741 | 1.800 % | c =============================================================================== c New solution: 3862 c Elapsed CPU time: 75.8975 s Remaining CPU time: 104.103 s c =============================================================================== c | 1055 | 982 1558 476300 | 5000 1055 741 | 1.800 % | c =============================================================================== c New solution: 3861 c Elapsed CPU time: 76.1034 s Remaining CPU time: 103.897 s c =============================================================================== c | 1055 | 982 1559 477150 | 5000 1055 741 | 1.800 % | c =============================================================================== c New solution: 3860 c Elapsed CPU time: 76.3114 s Remaining CPU time: 103.689 s c =============================================================================== c | 1055 | 982 1560 478000 | 5000 1055 741 | 1.800 % | c =============================================================================== c New solution: 3859 c Elapsed CPU time: 76.5454 s Remaining CPU time: 103.455 s c =============================================================================== c | 1059 | 982 1561 478850 | 5000 1059 741 | 1.800 % | c =============================================================================== c New solution: 3858 c Elapsed CPU time: 77.0843 s Remaining CPU time: 102.916 s c =============================================================================== c | 1104 | 982 1562 479700 | 5000 1104 740 | 1.800 % | c =============================================================================== c New solution: 3857 c Elapsed CPU time: 77.3702 s Remaining CPU time: 102.63 s c =============================================================================== c | 1121 | 982 1563 480550 | 5000 1121 740 | 1.800 % | c =============================================================================== c New solution: 3856 c Elapsed CPU time: 77.6032 s Remaining CPU time: 102.397 s c =============================================================================== c | 1124 | 982 1564 481400 | 5000 1124 740 | 1.800 % | c =============================================================================== c New solution: 3855 c Elapsed CPU time: 77.9052 s Remaining CPU time: 102.095 s c =============================================================================== c | 1146 | 982 1565 482250 | 5000 1146 740 | 1.800 % | c =============================================================================== c New solution: 3854 c Elapsed CPU time: 78.2091 s Remaining CPU time: 101.791 s c =============================================================================== c | 1171 | 982 1566 483100 | 5000 1171 740 | 1.800 % | c =============================================================================== c New solution: 3853 c Elapsed CPU time: 78.4361 s Remaining CPU time: 101.564 s c =============================================================================== c | 1182 | 982 1567 483950 | 5000 1182 740 | 1.800 % | c =============================================================================== c New solution: 3852 c Elapsed CPU time: 78.859 s Remaining CPU time: 101.141 s c =============================================================================== c | 1209 | 982 1568 484800 | 5000 1209 739 | 1.800 % | c =============================================================================== c New solution: 3851 c Elapsed CPU time: 79.09 s Remaining CPU time: 100.91 s c =============================================================================== c | 1212 | 982 1569 485650 | 5000 1212 739 | 1.800 % | c =============================================================================== c New solution: 3850 c Elapsed CPU time: 79.3999 s Remaining CPU time: 100.6 s c =============================================================================== c | 1232 | 982 1570 486500 | 5000 1232 739 | 1.800 % | c =============================================================================== c New solution: 3849 c Elapsed CPU time: 79.6189 s Remaining CPU time: 100.381 s c =============================================================================== c | 1232 | 982 1571 487350 | 5000 1232 739 | 1.800 % | c =============================================================================== c New solution: 3848 c Elapsed CPU time: 79.8529 s Remaining CPU time: 100.147 s c =============================================================================== c | 1239 | 982 1572 488200 | 5000 1239 739 | 1.800 % | c =============================================================================== c New solution: 3847 c Elapsed CPU time: 80.0698 s Remaining CPU time: 99.9302 s c =============================================================================== c | 1241 | 982 1573 489050 | 5000 1241 739 | 1.800 % | c =============================================================================== c New solution: 3846 c Elapsed CPU time: 80.2858 s Remaining CPU time: 99.7142 s c =============================================================================== c | 1242 | 982 1574 489900 | 5000 1242 739 | 1.800 % | c =============================================================================== c New solution: 3845 c Elapsed CPU time: 80.5658 s Remaining CPU time: 99.4342 s c =============================================================================== c | 1256 | 982 1575 490750 | 5000 1256 739 | 1.800 % | c =============================================================================== c New solution: 3844 c Elapsed CPU time: 80.7837 s Remaining CPU time: 99.2163 s c =============================================================================== c | 1256 | 982 1576 491600 | 5000 1256 739 | 1.800 % | c =============================================================================== c New solution: 3843 c Elapsed CPU time: 81.0197 s Remaining CPU time: 98.9803 s c =============================================================================== c | 1259 | 982 1577 492450 | 5000 1259 739 | 1.800 % | c =============================================================================== c New solution: 3842 c Elapsed CPU time: 81.2506 s Remaining CPU time: 98.7494 s c =============================================================================== c | 1264 | 982 1578 493300 | 5000 1264 739 | 1.800 % | c =============================================================================== c New solution: 3841 c Elapsed CPU time: 81.7186 s Remaining CPU time: 98.2814 s c =============================================================================== c | 1291 | 982 1579 494150 | 5000 1291 739 | 1.800 % | c =============================================================================== c New solution: 3840 c Elapsed CPU time: 81.9565 s Remaining CPU time: 98.0435 s c =============================================================================== c | 1296 | 982 1580 495000 | 5000 1296 739 | 1.800 % | c =============================================================================== c New solution: 3839 c Elapsed CPU time: 82.3135 s Remaining CPU time: 97.6865 s c =============================================================================== c | 1309 | 982 1581 495850 | 5000 1309 739 | 1.800 % | c =============================================================================== c New solution: 3838 c Elapsed CPU time: 82.5554 s Remaining CPU time: 97.4446 s c =============================================================================== c | 1310 | 982 1582 496700 | 5000 1310 739 | 1.800 % | c =============================================================================== c New solution: 3837 c Elapsed CPU time: 82.9074 s Remaining CPU time: 97.0926 s c =============================================================================== c | 1355 | 982 1583 497550 | 5000 1355 738 | 1.800 % | c | 1456 | 982 1583 497550 | 5500 1456 737 | 1.800 % | c =============================================================================== c New solution: 3836 c Elapsed CPU time: 83.8832 s Remaining CPU time: 96.1168 s c =============================================================================== c | 1464 | 982 1584 498400 | 5000 1464 737 | 1.800 % | c =============================================================================== c New solution: 3835 c Elapsed CPU time: 84.1922 s Remaining CPU time: 95.8078 s c =============================================================================== c | 1473 | 982 1585 499250 | 5000 1473 737 | 1.800 % | c =============================================================================== c New solution: 3834 c Elapsed CPU time: 84.7661 s Remaining CPU time: 95.2339 s c =============================================================================== c | 1524 | 982 1586 500100 | 5000 1524 736 | 1.800 % | c =============================================================================== c New solution: 3833 c Elapsed CPU time: 85.1131 s Remaining CPU time: 94.8869 s c =============================================================================== c | 1535 | 982 1587 500950 | 5000 1535 736 | 1.800 % | c =============================================================================== c New solution: 3832 c Elapsed CPU time: 85.391 s Remaining CPU time: 94.609 s c =============================================================================== c | 1536 | 982 1588 501800 | 5000 1536 736 | 1.800 % | c =============================================================================== c New solution: 3831 c Elapsed CPU time: 85.633 s Remaining CPU time: 94.367 s c =============================================================================== c | 1537 | 982 1589 502650 | 5000 1537 736 | 1.800 % | c =============================================================================== c New solution: 3830 c Elapsed CPU time: 86.0239 s Remaining CPU time: 93.9761 s c =============================================================================== c | 1581 | 982 1590 503500 | 5000 1581 736 | 1.800 % | c | 1681 | 982 1590 503500 | 5500 1681 735 | 1.800 % | c =============================================================================== c New solution: 3829 c Elapsed CPU time: 87.7707 s Remaining CPU time: 92.2293 s c =============================================================================== c | 1794 | 982 1591 504350 | 5000 1794 734 | 1.800 % | c =============================================================================== c New solution: 3828 c Elapsed CPU time: 88.0446 s Remaining CPU time: 91.9554 s c =============================================================================== c | 1798 | 982 1592 505200 | 5000 1798 734 | 1.800 % | c =============================================================================== c New solution: 3827 c Elapsed CPU time: 88.3346 s Remaining CPU time: 91.6654 s c =============================================================================== c | 1810 | 982 1593 506050 | 5000 1810 734 | 1.800 % | c =============================================================================== c New solution: 3826 c Elapsed CPU time: 88.6345 s Remaining CPU time: 91.3655 s c =============================================================================== c | 1824 | 982 1594 506900 | 5000 1824 734 | 1.800 % | c =============================================================================== c New solution: 3825 c Elapsed CPU time: 88.8595 s Remaining CPU time: 91.1405 s c =============================================================================== c | 1824 | 982 1595 507750 | 5000 1824 734 | 1.800 % | c =============================================================================== c New solution: 3824 c Elapsed CPU time: 89.1534 s Remaining CPU time: 90.8466 s c =============================================================================== c | 1834 | 982 1596 508600 | 5000 1834 734 | 1.800 % | c =============================================================================== c New solution: 3823 c Elapsed CPU time: 89.3904 s Remaining CPU time: 90.6096 s c =============================================================================== c | 1834 | 982 1597 509450 | 5000 1834 734 | 1.800 % | c =============================================================================== c New solution: 3822 c Elapsed CPU time: 89.8133 s Remaining CPU time: 90.1867 s c =============================================================================== c | 1853 | 982 1598 510300 | 5000 1853 734 | 1.800 % | c =============================================================================== c New solution: 3821 c Elapsed CPU time: 90.0553 s Remaining CPU time: 89.9447 s c =============================================================================== c | 1855 | 982 1599 511150 | 5000 1855 734 | 1.800 % | c =============================================================================== c New solution: 3820 c Elapsed CPU time: 90.2783 s Remaining CPU time: 89.7217 s c =============================================================================== c | 1855 | 982 1600 512000 | 5000 1855 734 | 1.800 % | c =============================================================================== c New solution: 3819 c Elapsed CPU time: 90.6092 s Remaining CPU time: 89.3908 s c =============================================================================== c | 1871 | 982 1601 512850 | 5000 1871 733 | 1.800 % | c =============================================================================== c New solution: 3818 c Elapsed CPU time: 90.8422 s Remaining CPU time: 89.1578 s c =============================================================================== c | 1871 | 982 1602 513700 | 5000 1871 733 | 1.800 % | c =============================================================================== c New solution: 3817 c Elapsed CPU time: 91.1042 s Remaining CPU time: 88.8958 s c =============================================================================== c | 1874 | 982 1603 514550 | 5000 1874 733 | 1.800 % | c =============================================================================== c New solution: 3816 c Elapsed CPU time: 91.4231 s Remaining CPU time: 88.5769 s c =============================================================================== c | 1886 | 982 1604 515400 | 5000 1886 733 | 1.800 % | c =============================================================================== c New solution: 3815 c Elapsed CPU time: 91.6971 s Remaining CPU time: 88.3029 s c =============================================================================== c | 1895 | 982 1605 516250 | 5000 1895 733 | 1.800 % | c =============================================================================== c New solution: 3814 c Elapsed CPU time: 91.968 s Remaining CPU time: 88.032 s c =============================================================================== c | 1901 | 982 1606 517100 | 5000 1901 733 | 1.800 % | c =============================================================================== c New solution: 3813 c Elapsed CPU time: 92.207 s Remaining CPU time: 87.793 s c =============================================================================== c | 1902 | 982 1607 517950 | 5000 1902 733 | 1.800 % | c =============================================================================== c New solution: 3812 c Elapsed CPU time: 92.4439 s Remaining CPU time: 87.5561 s c =============================================================================== c | 1903 | 982 1608 518800 | 5000 1903 733 | 1.800 % | c =============================================================================== c New solution: 3811 c Elapsed CPU time: 92.6729 s Remaining CPU time: 87.3271 s c =============================================================================== c | 1903 | 982 1609 519650 | 5000 1903 733 | 1.800 % | c =============================================================================== c New solution: 3810 c Elapsed CPU time: 92.9219 s Remaining CPU time: 87.0781 s c =============================================================================== c | 1904 | 982 1610 520500 | 5000 1904 733 | 1.800 % | c =============================================================================== c New solution: 3809 c Elapsed CPU time: 93.2158 s Remaining CPU time: 86.7842 s c =============================================================================== c | 1913 | 982 1611 521350 | 5000 1913 733 | 1.800 % | c | 2013 | 982 1611 521350 | 5500 2013 732 | 1.800 % | c =============================================================================== c New solution: 3808 c Elapsed CPU time: 94.3087 s Remaining CPU time: 85.6913 s c =============================================================================== c | 2052 | 982 1612 522200 | 5000 2052 732 | 1.800 % | c =============================================================================== c New solution: 3807 c Elapsed CPU time: 94.6136 s Remaining CPU time: 85.3864 s c =============================================================================== c | 2068 | 982 1613 523050 | 5000 2068 732 | 1.800 % | c =============================================================================== c New solution: 3806 c Elapsed CPU time: 94.9056 s Remaining CPU time: 85.0944 s c =============================================================================== c | 2089 | 982 1614 523900 | 5000 2089 732 | 1.800 % | c =============================================================================== c New solution: 3805 c Elapsed CPU time: 95.4725 s Remaining CPU time: 84.5275 s c =============================================================================== c | 2136 | 982 1615 524750 | 5000 2136 732 | 1.800 % | c =============================================================================== c New solution: 3804 c Elapsed CPU time: 96.0394 s Remaining CPU time: 83.9606 s c =============================================================================== c | 2181 | 982 1616 525600 | 5000 2181 732 | 1.800 % | c =============================================================================== c New solution: 3803 c Elapsed CPU time: 96.3274 s Remaining CPU time: 83.6726 s c =============================================================================== c | 2186 | 982 1617 526450 | 5000 2186 732 | 1.800 % | c =============================================================================== c New solution: 3802 c Elapsed CPU time: 96.6373 s Remaining CPU time: 83.3627 s c =============================================================================== c | 2193 | 982 1618 527300 | 5000 2193 732 | 1.800 % | c =============================================================================== c New solution: 3801 c Elapsed CPU time: 96.8763 s Remaining CPU time: 83.1237 s c =============================================================================== c | 2193 | 982 1619 528150 | 5000 2193 732 | 1.800 % | c =============================================================================== c New solution: 3800 c Elapsed CPU time: 97.5622 s Remaining CPU time: 82.4378 s c =============================================================================== c | 2260 | 982 1620 529000 | 5000 2260 731 | 1.800 % | c =============================================================================== c New solution: 3799 c Elapsed CPU time: 98.1101 s Remaining CPU time: 81.8899 s c =============================================================================== c | 2310 | 982 1621 529850 | 5000 2310 731 | 1.800 % | c =============================================================================== c New solution: 3798 c Elapsed CPU time: 98.392 s Remaining CPU time: 81.608 s c =============================================================================== c | 2323 | 982 1622 530700 | 5000 2323 731 | 1.800 % | c =============================================================================== c New solution: 3797 c Elapsed CPU time: 98.681 s Remaining CPU time: 81.319 s c =============================================================================== c | 2330 | 982 1623 531550 | 5000 2330 730 | 1.800 % | c =============================================================================== c New solution: 3796 c Elapsed CPU time: 99.0169 s Remaining CPU time: 80.9831 s c =============================================================================== c | 2348 | 982 1624 532400 | 5000 2348 730 | 1.800 % | c =============================================================================== c New solution: 3795 c Elapsed CPU time: 99.4319 s Remaining CPU time: 80.5681 s c =============================================================================== c | 2372 | 982 1625 533250 | 5000 2372 730 | 1.800 % | c =============================================================================== c New solution: 3794 c Elapsed CPU time: 99.7898 s Remaining CPU time: 80.2102 s c =============================================================================== c | 2386 | 982 1626 534100 | 5000 2386 730 | 1.800 % | c =============================================================================== c New solution: 3793 c Elapsed CPU time: 100.214 s Remaining CPU time: 79.7862 s c =============================================================================== c | 2412 | 982 1627 534950 | 5000 2412 730 | 1.800 % | c =============================================================================== c New solution: 3792 c Elapsed CPU time: 100.502 s Remaining CPU time: 79.4983 s c =============================================================================== c | 2417 | 982 1628 535800 | 5000 2417 730 | 1.800 % | c =============================================================================== c New solution: 3791 c Elapsed CPU time: 100.803 s Remaining CPU time: 79.1973 s c =============================================================================== c | 2439 | 982 1629 536650 | 5000 2439 730 | 1.800 % | c =============================================================================== c New solution: 3790 c Elapsed CPU time: 101.041 s Remaining CPU time: 78.9594 s c =============================================================================== c | 2441 | 982 1630 537500 | 5000 2441 730 | 1.800 % | c =============================================================================== c New solution: 3789 c Elapsed CPU time: 101.366 s Remaining CPU time: 78.6344 s c =============================================================================== c | 2447 | 982 1631 538350 | 5000 2447 730 | 1.800 % | c | 2547 | 982 1631 538350 | 5500 2547 729 | 1.800 % | c =============================================================================== c New solution: 3788 c Elapsed CPU time: 102.145 s Remaining CPU time: 77.8545 s c =============================================================================== c | 2551 | 982 1632 539200 | 5000 2551 729 | 1.800 % | c =============================================================================== c New solution: 3787 c Elapsed CPU time: 102.422 s Remaining CPU time: 77.5776 s c =============================================================================== c | 2556 | 982 1633 540050 | 5000 2556 729 | 1.800 % | c =============================================================================== c New solution: 3786 c Elapsed CPU time: 102.672 s Remaining CPU time: 77.3276 s c =============================================================================== c | 2558 | 982 1634 540900 | 5000 2558 729 | 1.800 % | c =============================================================================== c New solution: 3785 c Elapsed CPU time: 103.15 s Remaining CPU time: 76.8497 s c =============================================================================== c | 2611 | 982 1635 541750 | 5000 2611 729 | 1.800 % | c =============================================================================== c New solution: 3784 c Elapsed CPU time: 103.575 s Remaining CPU time: 76.4247 s c =============================================================================== c | 2631 | 982 1636 542600 | 5000 2631 729 | 1.800 % | c =============================================================================== c New solution: 3783 c Elapsed CPU time: 103.86 s Remaining CPU time: 76.1398 s c =============================================================================== c | 2633 | 982 1637 543450 | 5000 2633 729 | 1.800 % | c =============================================================================== c New solution: 3782 c Elapsed CPU time: 104.257 s Remaining CPU time: 75.7429 s c =============================================================================== c | 2656 | 982 1638 544300 | 5000 2656 729 | 1.800 % | c =============================================================================== c New solution: 3781 c Elapsed CPU time: 104.569 s Remaining CPU time: 75.4309 s c =============================================================================== c | 2677 | 982 1639 545150 | 5000 2677 729 | 1.800 % | c =============================================================================== c New solution: 3780 c Elapsed CPU time: 104.82 s Remaining CPU time: 75.1799 s c =============================================================================== c | 2680 | 982 1640 546000 | 5000 2680 729 | 1.800 % | c =============================================================================== c New solution: 3779 c Elapsed CPU time: 105.094 s Remaining CPU time: 74.906 s c =============================================================================== c | 2681 | 982 1641 546850 | 5000 2681 729 | 1.800 % | c =============================================================================== c New solution: 3778 c Elapsed CPU time: 105.453 s Remaining CPU time: 74.547 s c =============================================================================== c | 2702 | 982 1642 547700 | 5000 2702 729 | 1.800 % | c =============================================================================== c New solution: 3777 c Elapsed CPU time: 105.727 s Remaining CPU time: 74.2731 s c =============================================================================== c | 2702 | 982 1643 548550 | 5000 2702 729 | 1.800 % | c =============================================================================== c New solution: 3776 c Elapsed CPU time: 105.978 s Remaining CPU time: 74.0221 s c =============================================================================== c | 2702 | 982 1644 549400 | 5000 2702 729 | 1.800 % | c =============================================================================== c New solution: 3775 c Elapsed CPU time: 106.262 s Remaining CPU time: 73.7382 s c =============================================================================== c | 2706 | 982 1645 550250 | 5000 2706 729 | 1.800 % | c =============================================================================== c New solution: 3774 c Elapsed CPU time: 106.541 s Remaining CPU time: 73.4592 s c =============================================================================== c | 2712 | 982 1646 551100 | 5000 2712 729 | 1.800 % | c =============================================================================== c New solution: 3773 c Elapsed CPU time: 106.798 s Remaining CPU time: 73.2022 s c =============================================================================== c | 2712 | 982 1647 551950 | 5000 2712 729 | 1.800 % | c =============================================================================== c New solution: 3772 c Elapsed CPU time: 107.122 s Remaining CPU time: 72.8783 s c =============================================================================== c | 2715 | 982 1648 552800 | 5000 2715 729 | 1.800 % | c =============================================================================== c New solution: 3771 c Elapsed CPU time: 107.373 s Remaining CPU time: 72.6273 s c =============================================================================== c | 2715 | 982 1649 553650 | 5000 2715 729 | 1.800 % | c =============================================================================== c New solution: 3770 c Elapsed CPU time: 107.718 s Remaining CPU time: 72.2824 s c =============================================================================== c | 2748 | 982 1650 554500 | 5000 2748 728 | 1.800 % | c =============================================================================== c New solution: 3769 c Elapsed CPU time: 107.986 s Remaining CPU time: 72.0144 s c =============================================================================== c | 2750 | 982 1651 555350 | 5000 2750 728 | 1.800 % | c =============================================================================== c New solution: 3768 c Elapsed CPU time: 108.624 s Remaining CPU time: 71.3755 s c =============================================================================== c | 2796 | 982 1652 556200 | 5000 2796 728 | 1.800 % | c =============================================================================== c New solution: 3767 c Elapsed CPU time: 109.007 s Remaining CPU time: 70.9926 s c =============================================================================== c | 2834 | 982 1653 557050 | 5000 2834 728 | 1.800 % | c =============================================================================== c New solution: 3766 c Elapsed CPU time: 109.268 s Remaining CPU time: 70.7316 s c =============================================================================== c | 2836 | 982 1654 557900 | 5000 2836 728 | 1.800 % | c =============================================================================== c New solution: 3765 c Elapsed CPU time: 109.528 s Remaining CPU time: 70.4717 s c =============================================================================== c | 2838 | 982 1655 558750 | 5000 2838 728 | 1.800 % | c | 2938 | 982 1655 558750 | 5500 2938 727 | 1.800 % | c =============================================================================== c New solution: 3764 c Elapsed CPU time: 110.528 s Remaining CPU time: 69.4718 s c =============================================================================== c | 2942 | 982 1656 559600 | 5000 2942 727 | 1.800 % | c =============================================================================== c New solution: 3763 c Elapsed CPU time: 110.798 s Remaining CPU time: 69.2018 s c =============================================================================== c | 2945 | 982 1657 560450 | 5000 2945 727 | 1.800 % | c =============================================================================== c New solution: 3762 c Elapsed CPU time: 111.054 s Remaining CPU time: 68.9459 s c =============================================================================== c | 2949 | 982 1658 561300 | 5000 2949 727 | 1.800 % | c =============================================================================== c New solution: 3761 c Elapsed CPU time: 111.363 s Remaining CPU time: 68.6369 s c =============================================================================== c | 2964 | 982 1659 562150 | 5000 2964 727 | 1.800 % | c =============================================================================== c New solution: 3760 c Elapsed CPU time: 111.648 s Remaining CPU time: 68.352 s c =============================================================================== c | 2967 | 982 1660 563000 | 5000 2967 727 | 1.800 % | c =============================================================================== c New solution: 3759 c Elapsed CPU time: 111.966 s Remaining CPU time: 68.034 s c =============================================================================== c | 2972 | 982 1661 563850 | 5000 2972 727 | 1.800 % | c =============================================================================== c New solution: 3758 c Elapsed CPU time: 112.271 s Remaining CPU time: 67.7291 s c =============================================================================== c | 2977 | 982 1662 564700 | 5000 2977 727 | 1.800 % | c =============================================================================== c New solution: 3757 c Elapsed CPU time: 112.656 s Remaining CPU time: 67.3441 s c =============================================================================== c | 3002 | 982 1663 565550 | 5000 3002 727 | 1.800 % | c =============================================================================== c New solution: 3756 c Elapsed CPU time: 112.996 s Remaining CPU time: 67.0042 s c =============================================================================== c | 3016 | 982 1664 566400 | 5000 3016 727 | 1.800 % | c =============================================================================== c New solution: 3755 c Elapsed CPU time: 113.28 s Remaining CPU time: 66.7202 s c =============================================================================== c | 3018 | 982 1665 567250 | 5000 3018 727 | 1.800 % | c =============================================================================== c New solution: 3754 c Elapsed CPU time: 113.542 s Remaining CPU time: 66.4583 s c =============================================================================== c | 3018 | 982 1666 568100 | 5000 3018 727 | 1.800 % | c =============================================================================== c New solution: 3753 c Elapsed CPU time: 113.838 s Remaining CPU time: 66.1623 s c =============================================================================== c | 3032 | 982 1667 568950 | 5000 3032 727 | 1.800 % | c =============================================================================== c New solution: 3752 c Elapsed CPU time: 114.169 s Remaining CPU time: 65.8314 s c =============================================================================== c | 3048 | 982 1668 569800 | 5000 3048 727 | 1.800 % | c =============================================================================== c New solution: 3751 c Elapsed CPU time: 114.451 s Remaining CPU time: 65.5494 s c =============================================================================== c | 3049 | 982 1669 570650 | 5000 3049 726 | 1.800 % | c =============================================================================== c New solution: 3750 c Elapsed CPU time: 114.825 s Remaining CPU time: 65.1755 s c =============================================================================== c | 3067 | 982 1670 571500 | 5000 3067 726 | 1.800 % | c =============================================================================== c New solution: 3749 c Elapsed CPU time: 115.094 s Remaining CPU time: 64.9065 s c =============================================================================== c | 3069 | 982 1671 572350 | 5000 3069 726 | 1.800 % | c =============================================================================== c New solution: 3748 c Elapsed CPU time: 115.399 s Remaining CPU time: 64.6005 s c =============================================================================== c | 3078 | 982 1672 573200 | 5000 3078 726 | 1.800 % | c =============================================================================== c New solution: 3747 c Elapsed CPU time: 115.669 s Remaining CPU time: 64.3306 s c =============================================================================== c | 3079 | 982 1673 574050 | 5000 3079 726 | 1.800 % | c =============================================================================== c New solution: 3746 c Elapsed CPU time: 115.933 s Remaining CPU time: 64.0666 s c =============================================================================== c | 3081 | 982 1674 574900 | 5000 3081 726 | 1.800 % | c =============================================================================== c New solution: 3745 c Elapsed CPU time: 116.214 s Remaining CPU time: 63.7857 s c =============================================================================== c | 3085 | 982 1675 575750 | 5000 3085 726 | 1.800 % | c =============================================================================== c New solution: 3744 c Elapsed CPU time: 116.589 s Remaining CPU time: 63.4107 s c =============================================================================== c | 3100 | 982 1676 576600 | 5000 3100 726 | 1.800 % | c =============================================================================== c New solution: 3743 c Elapsed CPU time: 116.88 s Remaining CPU time: 63.1198 s c =============================================================================== c | 3113 | 982 1677 577450 | 5000 3113 726 | 1.800 % | c =============================================================================== c New solution: 3742 c Elapsed CPU time: 117.192 s Remaining CPU time: 62.8078 s c =============================================================================== c | 3123 | 982 1678 578300 | 5000 3123 726 | 1.800 % | c =============================================================================== c New solution: 3741 c Elapsed CPU time: 117.457 s Remaining CPU time: 62.5429 s c =============================================================================== c | 3123 | 982 1679 579150 | 5000 3123 726 | 1.800 % | c =============================================================================== c New solution: 3740 c Elapsed CPU time: 117.727 s Remaining CPU time: 62.2729 s c =============================================================================== c | 3123 | 982 1680 580000 | 5000 3123 726 | 1.800 % | c =============================================================================== c New solution: 3739 c Elapsed CPU time: 118.05 s Remaining CPU time: 61.9499 s c =============================================================================== c | 3127 | 982 1681 580850 | 5000 3127 726 | 1.800 % | c =============================================================================== c New solution: 3738 c Elapsed CPU time: 118.429 s Remaining CPU time: 61.571 s c =============================================================================== c | 3133 | 982 1682 581700 | 5000 3133 726 | 1.800 % | c =============================================================================== c New solution: 3737 c Elapsed CPU time: 118.718 s Remaining CPU time: 61.282 s c =============================================================================== c | 3134 | 982 1683 582550 | 5000 3134 726 | 1.800 % | c =============================================================================== c New solution: 3736 c Elapsed CPU time: 119.009 s Remaining CPU time: 60.9911 s c =============================================================================== c | 3136 | 982 1684 583400 | 5000 3136 726 | 1.800 % | c =============================================================================== c New solution: 3735 c Elapsed CPU time: 119.292 s Remaining CPU time: 60.7081 s c =============================================================================== c | 3138 | 982 1685 584250 | 5000 3138 726 | 1.800 % | c =============================================================================== c New solution: 3734 c Elapsed CPU time: 119.55 s Remaining CPU time: 60.4502 s c =============================================================================== c | 3138 | 982 1686 585100 | 5000 3138 726 | 1.800 % | c =============================================================================== c New solution: 3733 c Elapsed CPU time: 119.822 s Remaining CPU time: 60.1782 s c =============================================================================== c | 3138 | 982 1687 585950 | 5000 3138 726 | 1.800 % | c =============================================================================== c New solution: 3732 c Elapsed CPU time: 120.126 s Remaining CPU time: 59.8743 s c =============================================================================== c | 3147 | 982 1688 586800 | 5000 3147 726 | 1.800 % | c | 3247 | 982 1688 586800 | 5500 3247 725 | 1.800 % | c =============================================================================== c New solution: 3731 c Elapsed CPU time: 121.06 s Remaining CPU time: 58.9404 s c =============================================================================== c | 3252 | 982 1689 587650 | 5000 3252 725 | 1.800 % | c =============================================================================== c New solution: 3730 c Elapsed CPU time: 121.562 s Remaining CPU time: 58.4385 s c =============================================================================== c | 3290 | 982 1690 588500 | 5000 3290 725 | 1.800 % | c =============================================================================== c New solution: 3729 c Elapsed CPU time: 121.866 s Remaining CPU time: 58.1335 s c =============================================================================== c | 3295 | 982 1691 589350 | 5000 3295 725 | 1.800 % | c =============================================================================== c New solution: 3728 c Elapsed CPU time: 122.632 s Remaining CPU time: 57.3676 s c =============================================================================== c | 3357 | 982 1692 590200 | 5000 3357 724 | 1.800 % | c =============================================================================== c New solution: 3727 c Elapsed CPU time: 123.042 s Remaining CPU time: 56.9577 s c =============================================================================== c | 3377 | 982 1693 591050 | 5000 3377 724 | 1.800 % | c =============================================================================== c New solution: 3726 c Elapsed CPU time: 123.631 s Remaining CPU time: 56.3688 s c =============================================================================== c | 3446 | 982 1694 591900 | 5000 3446 724 | 1.800 % | c =============================================================================== c New solution: 3725 c Elapsed CPU time: 124.026 s Remaining CPU time: 55.9739 s c =============================================================================== c | 3463 | 982 1695 592750 | 5000 3463 724 | 1.800 % | c =============================================================================== c New solution: 3724 c Elapsed CPU time: 124.368 s Remaining CPU time: 55.6319 s c =============================================================================== c | 3473 | 982 1696 593600 | 5000 3473 723 | 1.800 % | c =============================================================================== c New solution: 3723 c Elapsed CPU time: 124.869 s Remaining CPU time: 55.131 s c =============================================================================== c | 3508 | 982 1697 594450 | 5000 3508 723 | 1.800 % | c =============================================================================== c New solution: 3722 c Elapsed CPU time: 125.369 s Remaining CPU time: 54.6311 s c =============================================================================== c | 3538 | 982 1698 595300 | 5000 3538 723 | 1.800 % | c =============================================================================== c New solution: 3721 c Elapsed CPU time: 125.678 s Remaining CPU time: 54.3221 s c =============================================================================== c | 3543 | 982 1699 596150 | 5000 3543 723 | 1.800 % | c =============================================================================== c New solution: 3720 c Elapsed CPU time: 125.982 s Remaining CPU time: 54.0182 s c =============================================================================== c | 3547 | 982 1700 597000 | 5000 3547 723 | 1.800 % | c =============================================================================== c New solution: 3719 c Elapsed CPU time: 126.235 s Remaining CPU time: 53.7652 s c =============================================================================== c | 3547 | 982 1701 597850 | 5000 3547 723 | 1.800 % | c =============================================================================== c New solution: 3718 c Elapsed CPU time: 126.499 s Remaining CPU time: 53.5012 s c =============================================================================== c | 3547 | 982 1702 598700 | 5000 3547 723 | 1.800 % | c | 3647 | 982 1702 598700 | 5500 3647 723 | 1.800 % | c =============================================================================== c New solution: 3717 c Elapsed CPU time: 127.404 s Remaining CPU time: 52.5964 s c =============================================================================== c | 3647 | 982 1703 599550 | 5000 3647 723 | 1.800 % | c =============================================================================== c New solution: 3716 c Elapsed CPU time: 127.752 s Remaining CPU time: 52.2484 s c =============================================================================== c | 3659 | 982 1704 600400 | 5000 3659 722 | 1.800 % | c =============================================================================== c New solution: 3715 c Elapsed CPU time: 128.067 s Remaining CPU time: 51.9335 s c =============================================================================== c | 3668 | 982 1705 601250 | 5000 3668 722 | 1.800 % | c =============================================================================== c New solution: 3714 c Elapsed CPU time: 128.375 s Remaining CPU time: 51.6245 s c =============================================================================== c | 3671 | 982 1706 602100 | 5000 3671 722 | 1.800 % | c =============================================================================== c New solution: 3713 c Elapsed CPU time: 128.846 s Remaining CPU time: 51.1536 s c =============================================================================== c | 3719 | 982 1707 602950 | 5000 3719 722 | 1.800 % | c =============================================================================== c New solution: 3712 c Elapsed CPU time: 129.304 s Remaining CPU time: 50.6957 s c =============================================================================== c | 3763 | 982 1708 603800 | 5000 3763 722 | 1.800 % | c =============================================================================== c New solution: 3711 c Elapsed CPU time: 129.637 s Remaining CPU time: 50.3627 s c =============================================================================== c | 3771 | 982 1709 604650 | 5000 3771 722 | 1.800 % | c =============================================================================== c New solution: 3710 c Elapsed CPU time: 129.991 s Remaining CPU time: 50.0088 s c =============================================================================== c | 3792 | 982 1710 605500 | 5000 3792 722 | 1.800 % | c =============================================================================== c New solution: 3709 c Elapsed CPU time: 130.259 s Remaining CPU time: 49.7408 s c =============================================================================== c | 3792 | 982 1711 606350 | 5000 3792 722 | 1.800 % | c =============================================================================== c New solution: 3708 c Elapsed CPU time: 131.064 s Remaining CPU time: 48.9359 s c =============================================================================== c | 3874 | 982 1712 607200 | 5000 3874 721 | 1.800 % | c =============================================================================== c New solution: 3707 c Elapsed CPU time: 131.574 s Remaining CPU time: 48.426 s c =============================================================================== c | 3891 | 982 1713 608050 | 5000 3891 721 | 1.800 % | c =============================================================================== c New solution: 3706 c Elapsed CPU time: 131.897 s Remaining CPU time: 48.1031 s c =============================================================================== c | 3895 | 982 1714 608900 | 5000 3895 721 | 1.800 % | c =============================================================================== c New solution: 3705 c Elapsed CPU time: 132.298 s Remaining CPU time: 47.7021 s c =============================================================================== c | 3906 | 982 1715 609750 | 5000 3906 721 | 1.800 % | c =============================================================================== c New solution: 3704 c Elapsed CPU time: 132.586 s Remaining CPU time: 47.4142 s c =============================================================================== c | 3907 | 982 1716 610600 | 5000 3907 721 | 1.800 % | c =============================================================================== c New solution: 3703 c Elapsed CPU time: 132.916 s Remaining CPU time: 47.0842 s c =============================================================================== c | 3912 | 982 1717 611450 | 5000 3912 721 | 1.800 % | c =============================================================================== c New solution: 3702 c Elapsed CPU time: 133.204 s Remaining CPU time: 46.7963 s c =============================================================================== c | 3914 | 982 1718 612300 | 5000 3914 721 | 1.800 % | c =============================================================================== c New solution: 3701 c Elapsed CPU time: 133.864 s Remaining CPU time: 46.1364 s c =============================================================================== c | 3953 | 982 1719 613150 | 5000 3953 721 | 1.800 % | c =============================================================================== c New solution: 3700 c Elapsed CPU time: 134.282 s Remaining CPU time: 45.7184 s c =============================================================================== c | 3974 | 982 1720 614000 | 5000 3974 721 | 1.800 % | c =============================================================================== c New solution: 3699 c Elapsed CPU time: 134.562 s Remaining CPU time: 45.4385 s c =============================================================================== c | 3974 | 982 1721 614850 | 5000 3974 721 | 1.800 % | c =============================================================================== c New solution: 3698 c Elapsed CPU time: 134.871 s Remaining CPU time: 45.1285 s c =============================================================================== c | 3983 | 982 1722 615700 | 5000 3983 721 | 1.800 % | c =============================================================================== c New solution: 3697 c Elapsed CPU time: 135.149 s Remaining CPU time: 44.8505 s c =============================================================================== c | 3984 | 982 1723 616550 | 5000 3984 721 | 1.800 % | c =============================================================================== c New solution: 3696 c Elapsed CPU time: 135.431 s Remaining CPU time: 44.5686 s c =============================================================================== c | 3984 | 982 1724 617400 | 5000 3984 721 | 1.800 % | c =============================================================================== c New solution: 3695 c Elapsed CPU time: 135.82 s Remaining CPU time: 44.1796 s c =============================================================================== c | 4009 | 982 1725 618250 | 5000 4009 721 | 1.800 % | c =============================================================================== c New solution: 3694 c Elapsed CPU time: 136.209 s Remaining CPU time: 43.7907 s c =============================================================================== c | 4036 | 982 1726 619100 | 5000 4036 720 | 1.800 % | c =============================================================================== c New solution: 3693 c Elapsed CPU time: 136.508 s Remaining CPU time: 43.4918 s c =============================================================================== c | 4038 | 982 1727 619950 | 5000 4038 720 | 1.800 % | c =============================================================================== c New solution: 3692 c Elapsed CPU time: 136.788 s Remaining CPU time: 43.2118 s c =============================================================================== c | 4038 | 982 1728 620800 | 5000 4038 720 | 1.800 % | c =============================================================================== c New solution: 3691 c Elapsed CPU time: 137.139 s Remaining CPU time: 42.8608 s c =============================================================================== c | 4047 | 982 1729 621650 | 5000 4047 720 | 1.800 % | c =============================================================================== c New solution: 3690 c Elapsed CPU time: 137.475 s Remaining CPU time: 42.5249 s c =============================================================================== c | 4055 | 982 1730 622500 | 5000 4055 720 | 1.800 % | c =============================================================================== c New solution: 3689 c Elapsed CPU time: 137.788 s Remaining CPU time: 42.2119 s c =============================================================================== c | 4059 | 982 1731 623350 | 5000 4059 720 | 1.800 % | c =============================================================================== c New solution: 3688 c Elapsed CPU time: 138.064 s Remaining CPU time: 41.936 s c =============================================================================== c | 4059 | 982 1732 624200 | 5000 4059 720 | 1.800 % | c =============================================================================== c New solution: 3687 c Elapsed CPU time: 138.375 s Remaining CPU time: 41.625 s c =============================================================================== c | 4062 | 982 1733 625050 | 5000 4062 720 | 1.800 % | c =============================================================================== c New solution: 3686 c Elapsed CPU time: 139.011 s Remaining CPU time: 40.9891 s c =============================================================================== c | 4114 | 982 1734 625900 | 5000 4114 720 | 1.800 % | c =============================================================================== c New solution: 3685 c Elapsed CPU time: 139.506 s Remaining CPU time: 40.4942 s c =============================================================================== c | 4147 | 982 1735 626750 | 5000 4147 720 | 1.800 % | c =============================================================================== c New solution: 3684 c Elapsed CPU time: 140.047 s Remaining CPU time: 39.9533 s c =============================================================================== c | 4182 | 982 1736 627600 | 5000 4182 720 | 1.800 % | c | 4282 | 982 1736 627600 | 5500 4282 719 | 1.800 % | c =============================================================================== c New solution: 3683 c Elapsed CPU time: 142.289 s Remaining CPU time: 37.7106 s c =============================================================================== c | 4408 | 982 1737 628450 | 5000 4408 718 | 1.800 % | c =============================================================================== c New solution: 3682 c Elapsed CPU time: 142.728 s Remaining CPU time: 37.2717 s c =============================================================================== c | 4439 | 982 1738 629300 | 5000 4439 718 | 1.800 % | c =============================================================================== c New solution: 3681 c Elapsed CPU time: 143.253 s Remaining CPU time: 36.7468 s c =============================================================================== c | 4470 | 982 1739 630150 | 5000 4470 718 | 1.800 % | c =============================================================================== c New solution: 3680 c Elapsed CPU time: 143.642 s Remaining CPU time: 36.3578 s c =============================================================================== c | 4481 | 982 1740 631000 | 5000 4481 718 | 1.800 % | c =============================================================================== c New solution: 3679 c Elapsed CPU time: 144.053 s Remaining CPU time: 35.9469 s c =============================================================================== c | 4489 | 982 1741 631850 | 5000 4489 718 | 1.800 % | c =============================================================================== c New solution: 3678 c Elapsed CPU time: 144.499 s Remaining CPU time: 35.501 s c =============================================================================== c | 4508 | 982 1742 632700 | 5000 4508 718 | 1.800 % | c =============================================================================== c New solution: 3677 c Elapsed CPU time: 144.815 s Remaining CPU time: 35.185 s c =============================================================================== c | 4511 | 982 1743 633550 | 5000 4511 718 | 1.800 % | c =============================================================================== c New solution: 3676 c Elapsed CPU time: 145.124 s Remaining CPU time: 34.8761 s c =============================================================================== c | 4513 | 982 1744 634400 | 5000 4513 718 | 1.800 % | c =============================================================================== c New solution: 3675 c Elapsed CPU time: 145.683 s Remaining CPU time: 34.3171 s c =============================================================================== c | 4545 | 982 1745 635250 | 5000 4545 718 | 1.800 % | c =============================================================================== c New solution: 3674 c Elapsed CPU time: 146.612 s Remaining CPU time: 33.3883 s c =============================================================================== c | 4638 | 982 1746 636100 | 5000 4638 717 | 1.800 % | c =============================================================================== c New solution: 3673 c Elapsed CPU time: 147.187 s Remaining CPU time: 32.8134 s c =============================================================================== c | 4679 | 982 1747 636950 | 5000 4679 717 | 1.800 % | c =============================================================================== c New solution: 3672 c Elapsed CPU time: 147.906 s Remaining CPU time: 32.0945 s c =============================================================================== c | 4741 | 982 1748 637800 | 5000 4741 717 | 1.800 % | c =============================================================================== c New solution: 3671 c Elapsed CPU time: 148.521 s Remaining CPU time: 31.4786 s c =============================================================================== c | 4771 | 982 1749 638650 | 5000 4771 717 | 1.800 % | c | 4871 | 982 1749 638650 | 5500 4871 716 | 1.800 % | c =============================================================================== c New solution: 3670 c Elapsed CPU time: 149.529 s Remaining CPU time: 30.4707 s c =============================================================================== c | 4872 | 982 1750 639500 | 5000 4872 716 | 1.800 % | c =============================================================================== c New solution: 3669 c Elapsed CPU time: 149.959 s Remaining CPU time: 30.0408 s c =============================================================================== c | 4896 | 982 1751 640350 | 5000 4896 716 | 1.800 % | c =============================================================================== c New solution: 3668 c Elapsed CPU time: 150.445 s Remaining CPU time: 29.5549 s c =============================================================================== c | 4924 | 982 1752 641200 | 5000 4924 716 | 1.800 % | c =============================================================================== c New solution: 3667 c Elapsed CPU time: 150.896 s Remaining CPU time: 29.1039 s c =============================================================================== c | 4942 | 982 1753 642050 | 5000 4942 716 | 1.800 % | c =============================================================================== c New solution: 3666 c Elapsed CPU time: 151.755 s Remaining CPU time: 28.2451 s c =============================================================================== c | 5010 | 982 1754 642900 | 5000 5010 716 | 1.800 % | c =============================================================================== c New solution: 3665 c Elapsed CPU time: 152.38 s Remaining CPU time: 27.6202 s c =============================================================================== c | 5034 | 982 1755 643750 | 5000 5034 716 | 1.800 % | c =============================================================================== c New solution: 3664 c Elapsed CPU time: 153.078 s Remaining CPU time: 26.9223 s c =============================================================================== c | 5082 | 982 1756 644600 | 5000 2565 699 | 1.800 % | c =============================================================================== c New solution: 3663 c Elapsed CPU time: 153.699 s Remaining CPU time: 26.3014 s c =============================================================================== c | 5124 | 982 1757 645450 | 5000 2607 699 | 1.800 % | c =============================================================================== c New solution: 3662 c Elapsed CPU time: 154.018 s Remaining CPU time: 25.9824 s c =============================================================================== c | 5137 | 982 1758 646300 | 5000 2620 699 | 1.800 % | c =============================================================================== c New solution: 3661 c Elapsed CPU time: 154.636 s Remaining CPU time: 25.3635 s c =============================================================================== c | 5179 | 982 1759 647150 | 5000 2662 699 | 1.800 % | c =============================================================================== c New solution: 3660 c Elapsed CPU time: 155.026 s Remaining CPU time: 24.9736 s c =============================================================================== c | 5189 | 982 1760 648000 | 5000 2672 699 | 1.800 % | c =============================================================================== c New solution: 3659 c Elapsed CPU time: 155.357 s Remaining CPU time: 24.6426 s c =============================================================================== c | 5194 | 982 1761 648850 | 5000 2677 699 | 1.800 % | c =============================================================================== c New solution: 3658 c Elapsed CPU time: 155.76 s Remaining CPU time: 24.2397 s c =============================================================================== c | 5211 | 982 1762 649700 | 5000 2694 698 | 1.800 % | c =============================================================================== c New solution: 3657 c Elapsed CPU time: 156.151 s Remaining CPU time: 23.8487 s c =============================================================================== c | 5221 | 982 1763 650550 | 5000 2704 698 | 1.800 % | c =============================================================================== c New solution: 3656 c Elapsed CPU time: 156.543 s Remaining CPU time: 23.4568 s c =============================================================================== c | 5232 | 982 1764 651400 | 5000 2715 698 | 1.800 % | c =============================================================================== c New solution: 3655 c Elapsed CPU time: 157.078 s Remaining CPU time: 22.9219 s c =============================================================================== c | 5262 | 982 1765 652250 | 5000 2745 698 | 1.800 % | c =============================================================================== c New solution: 3654 c Elapsed CPU time: 157.888 s Remaining CPU time: 22.112 s c =============================================================================== c | 5340 | 982 1766 653100 | 5000 2823 698 | 1.800 % | c =============================================================================== c New solution: 3653 c Elapsed CPU time: 158.424 s Remaining CPU time: 21.5761 s c =============================================================================== c | 5373 | 982 1767 653950 | 5000 2856 698 | 1.800 % | c | 5475 | 982 1767 653950 | 5500 2958 698 | 1.800 % | c =============================================================================== c New solution: 3652 c Elapsed CPU time: 159.661 s Remaining CPU time: 20.3393 s c =============================================================================== c | 5525 | 982 1768 654800 | 5000 3008 698 | 1.800 % | c =============================================================================== c New solution: 3651 c Elapsed CPU time: 160.227 s Remaining CPU time: 19.7734 s c =============================================================================== c | 5554 | 982 1769 655650 | 5000 3037 698 | 1.800 % | c =============================================================================== c New solution: 3650 c Elapsed CPU time: 161.183 s Remaining CPU time: 18.8165 s c =============================================================================== c | 5646 | 982 1770 656500 | 5000 3129 697 | 1.800 % | c | 5746 | 982 1770 656500 | 5500 3229 697 | 1.800 % | c =============================================================================== c New solution: 3649 c Elapsed CPU time: 162.94 s Remaining CPU time: 17.0598 s c =============================================================================== c | 5796 | 982 1771 657350 | 5000 3279 697 | 1.800 % | c =============================================================================== c New solution: 3648 c Elapsed CPU time: 163.457 s Remaining CPU time: 16.5428 s c =============================================================================== c | 5837 | 982 1772 658200 | 5000 3320 696 | 1.800 % | c =============================================================================== c New solution: 3647 c Elapsed CPU time: 163.975 s Remaining CPU time: 16.0249 s c =============================================================================== c | 5855 | 982 1773 659050 | 5000 3338 696 | 1.800 % | c =============================================================================== c New solution: 3646 c Elapsed CPU time: 164.743 s Remaining CPU time: 15.257 s c =============================================================================== c | 5920 | 982 1774 659900 | 5000 3403 696 | 1.800 % | c =============================================================================== c New solution: 3645 c Elapsed CPU time: 165.171 s Remaining CPU time: 14.8291 s c =============================================================================== c | 5932 | 982 1775 660750 | 5000 3415 696 | 1.800 % | c | 6032 | 982 1775 660750 | 5500 3515 696 | 1.800 % | c =============================================================================== c New solution: 3644 c Elapsed CPU time: 167.006 s Remaining CPU time: 12.9944 s c =============================================================================== c | 6108 | 982 1776 661600 | 5000 3591 696 | 1.800 % | c | 6208 | 982 1776 661600 | 5500 3691 695 | 1.800 % | c =============================================================================== c New solution: 3643 c Elapsed CPU time: 168.393 s Remaining CPU time: 11.6066 s c =============================================================================== c | 6248 | 982 1777 662450 | 5000 3731 695 | 1.800 % | c | 6348 | 982 1777 662450 | 5500 3831 695 | 1.800 % | c =============================================================================== c New solution: 3642 c Elapsed CPU time: 169.805 s Remaining CPU time: 10.1948 s c =============================================================================== c | 6401 | 982 1778 663300 | 5000 3884 695 | 1.800 % | c =============================================================================== c New solution: 3641 c Elapsed CPU time: 170.473 s Remaining CPU time: 9.52692 s c =============================================================================== c | 6428 | 982 1779 664150 | 5000 3911 695 | 1.800 % | c =============================================================================== c New solution: 3640 c Elapsed CPU time: 170.843 s Remaining CPU time: 9.15697 s c =============================================================================== c | 6433 | 982 1780 665000 | 5000 3916 695 | 1.800 % | c | 6533 | 982 1780 665000 | 5500 4016 695 | 1.800 % | c | 6684 | 982 1780 665000 | 6050 4167 695 | 1.800 % | c =============================================================================== c New solution: 3639 c Elapsed CPU time: 173.68 s Remaining CPU time: 6.3204 s c =============================================================================== c | 6767 | 982 1781 665850 | 5000 4250 695 | 1.800 % | c | 6867 | 982 1781 665850 | 5500 4350 694 | 1.800 % | c | 7020 | 982 1781 665850 | 6050 4503 694 | 1.800 % | c | 7245 | 982 1781 665850 | 6655 4728 694 | 1.800 % | c =============================================================================== c New solution: 3638 c Elapsed CPU time: 178.745 s Remaining CPU time: 1.25517 s c =============================================================================== c | 7327 | 982 1782 666700 | 5000 4810 694 | 1.800 % | c =============================================================================== c New solution: 3637 c Elapsed CPU time: 179.336 s Remaining CPU time: 0.664264 s c =============================================================================== c | 7368 | 982 1783 667550 | 5000 4851 693 | 1.800 % | c =============================================================================== c New solution: 3636 c Elapsed CPU time: 179.759 s Remaining CPU time: 0.241328 s c =============================================================================== c | 7393 | 982 1784 668400 | 5000 4876 693 | 1.800 % | c There are 18 assigned variables. 3 in cost function.